仓库

steshaw 的仓库

364 个支持的仓库

只显示包含已索引 issue 的仓库
steshaw/EternalTerminalC++

Re-Connectable secure remote shell

最近提交 2022年1月11日

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

TeX code associated to the EuropeCV CTAN repository, https://ctan.org/pkg/europecv

最近提交 2018年12月10日

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

Introduction to FOSS, for beginning programmers

最近提交 2010年11月24日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/Firefox-Quantum-Rounded-TabsCSS

Re-shapes the default square tabs of Firefox Quantum and beautifies a couple more things.

最近提交 2018年10月12日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/Haskell-Turtle-LibraryHaskell

Shell programming, Haskell style

最近提交 2015年5月6日

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

A Dependently Typed Functional Programming Language

最近提交 2020年8月28日

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

A purely functional programming language with first class types

最近提交 2022年7月13日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/Idris2-bootIdris

A dependently typed programming language, a successor to Idris

最近提交 2020年9月14日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/Notes-2Shell

Notes taken from diverse technologies

最近提交 2018年1月6日

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

最近提交 2014年11月25日

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

Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison

最近提交 2012年1月16日

 (6 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/PLGradSchools

最近提交 2019年10月24日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/SDL-idrisIdris

SDL bindings package for idris

最近提交 2016年1月20日

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

SPLV20 course notes

最近提交 2020年8月20日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/ShowOffPadObjective-C

ShowOff Presenter on the iPad

最近提交 2010年5月16日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/Spoon-KnifeHTML

This repo is for demonstration purposes only.

最近提交 2014年2月12日

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

最近提交 2016年5月6日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/StopPayingForFreeMonads-forkedHaskell

Haskell code for YOW LambdaJam 2016 workshop

最近提交 2016年5月1日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/The-Voids-Of-Haskell

最近提交 2021年6月27日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
steshaw/adt-in-java-with-foldJava

Encoding algebraic data types in Java using fold

最近提交 2013年8月13日

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