Repository

Repository di srid

572 repository supportati

Sync code between two machines -- from development to deployment

Ultimo commit 2 ago 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
srid/coffeekupCoffeeScript

Markup as CoffeeScript.

Ultimo commit 29 set 2011

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Pure Haskell commonmark parsing library, designed to be flexible and extensible

Ultimo commit 6 mag 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Simple interface to https://github.com/jgm/commonmark-hs

Ultimo commit 19 ago 2025

 (4 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Commonmark Wikilink parser for Pandoc

Ultimo commit 27 apr 2026

 (4 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 30 mar 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Compiling to Categories

Ultimo commit 28 feb 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Docker based environment for Coursera's Exploring Neural Data course

Ultimo commit 3 ott 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Ultimo commit 26 gen 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

a simple bliki - runs on appengine (this project is dead)

Ultimo commit 21 mar 2009

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Chrome Extension to delete notices on Wikipedia for donations for their biasedness and lack of desire to make amends.

Ultimo commit 31 lug 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 1 set 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

JSON rpc over http for Golang (Go)

Ultimo commit 9 ott 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Dendrite adds all your logs to a single structured log stream, so you can search, graph, and analyze easier.

Ultimo commit 25 apr 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Dependently-typed finite maps (partial dependent products)

Ultimo commit 10 ott 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 15 mar 2021

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
srid/deuxHaskell

Something something mind maps

Ultimo commit 13 apr 2018

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

out of date

Ultimo commit 29 ago 2017

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

My development environment as a Docker image

Ultimo commit 22 set 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Devour all outputs in a Nix flake.

Ultimo commit 2 feb 2026

 (98 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)