仓库

srid 的仓库

572 个支持的仓库

只显示包含已索引 issue 的仓库
srid/codesyncShell

Sync code between two machines -- from development to deployment

最近提交 2014年8月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/coffeekupCoffeeScript

Markup as CoffeeScript.

最近提交 2011年9月29日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/commonmark-hsHaskell

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

最近提交 2020年5月6日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/commonmark-simpleHaskell

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

最近提交 2025年8月19日

 (4 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/commonmark-wikilinkHaskell

Commonmark Wikilink parser for Pandoc

最近提交 2026年4月27日

 (4 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/comonad-examplesNix

最近提交 2022年3月30日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/concatHaskell

Compiling to Categories

最近提交 2022年2月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/coursera-neuraldataShell

Docker based environment for Coursera's Exploring Neural Data course

最近提交 2014年10月3日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/cubical-1labAgda

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

最近提交 2022年1月26日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/debrisPython

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

最近提交 2009年3月21日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/defund-wikipediaJavaScript

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

最近提交 2020年7月31日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/delineationNix

最近提交 2019年9月1日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/deltoro

JSON rpc over http for Golang (Go)

最近提交 2012年10月9日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/dendriteGo

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

最近提交 2013年4月25日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/dependent-mapHaskell

Dependently-typed finite maps (partial dependent products)

最近提交 2019年10月10日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/desktop-feliz-with-photinoF#

最近提交 2021年3月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/deuxHaskell

Something something mind maps

最近提交 2018年4月13日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/devboxNix

out of date

最近提交 2017年8月29日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/devdockShell

My development environment as a Docker image

最近提交 2013年9月22日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/devour-flakeNix

Devour all outputs in a Nix flake.

最近提交 2026年2月2日

 (98 stars) (6 forks) (0 个已索引 issue) (0 个开放 good first issue)