Dépôts

Dépôts de srid

572 dépôts pris en charge

📓 Flexible and configurable modern #Haskell logging framework

Dernier commit 7 mars 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Backup your Github and Bitbucket repositories

Dernier commit 12 avr. 2010

 (5 stars) (4 forks) (0 issues indexées) (0 good first issues ouvertes)

Sync code between two machines -- from development to deployment

Dernier commit 2 août 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
srid/coffeekupCoffeeScript

Markup as CoffeeScript.

Dernier commit 29 sept. 2011

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 6 mai 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 19 août 2025

 (4 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Commonmark Wikilink parser for Pandoc

Dernier commit 27 avr. 2026

 (4 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)

Dernier commit 30 mars 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Compiling to Categories

Dernier commit 28 févr. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Managing the exercises in Convict Conditioning program

Dernier commit 24 déc. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Docker based environment for Coursera's Exploring Neural Data course

Dernier commit 3 oct. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 26 janv. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

The Dao of Functional Programming

Dernier commit 2 nov. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 21 mars 2009

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 31 juil. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Dernier commit 1 sept. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

JSON rpc over http for Golang (Go)

Dernier commit 9 oct. 2012

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 25 avr. 2013

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Dependently-typed finite maps (partial dependent products)

Dernier commit 10 oct. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)

Dernier commit 15 mars 2021

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)