仓库

srid 的仓库

572 个支持的仓库

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

The missing package manager for OS X.

最近提交 2011年8月19日

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

Host Hoogle via Nix / NixOS, with handpicked list of packages

最近提交 2021年1月24日

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

A dashboard for Stackato/CloudFoundry based on Clojure

最近提交 2012年1月5日

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

A Testing Framework for Haskell

最近提交 2022年3月31日

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

最近提交 2024年9月27日

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

最近提交 2013年12月31日

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

Personal WSGI play ground

最近提交 2010年11月14日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/hydra-1Emacs Lisp

make Emacs bindings that stick around

最近提交 2015年2月6日

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

最近提交 2026年3月4日

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

An open source payments switch written in Rust to make payments fast, reliable and affordable

最近提交 2024年6月14日

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

[WIP] A mood tracker based on the "noting" technique.

最近提交 2019年9月3日

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

最近提交 2026年1月24日

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

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

最近提交 2020年1月26日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/idris-js-templateNix

Idris template for JavaScript projects

最近提交 2021年12月25日

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

Like https://github.com/srid/haskell-template but for Idris 2

最近提交 2022年2月23日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
srid/idris-web-playgroundNix

最近提交 2022年1月14日

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

A purely functional programming language with first class types

最近提交 2022年1月11日

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

Javascript DOM bindings for Idris2

最近提交 2022年6月20日

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

An unofficial Idris2 package repository for Nix

最近提交 2021年12月15日

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

最近提交 2022年1月14日

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