Repositories

steshaw Repositories

364 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
steshaw/EternalTerminalC++

Re-Connectable secure remote shell

Letzter Commit 11. Jan. 2022

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/EuropeCVTeX

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

Letzter Commit 10. Dez. 2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/FOSSPresentation

Introduction to FOSS, for beginning programmers

Letzter Commit 24. Nov. 2010

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Firefox-Quantum-Rounded-TabsCSS

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

Letzter Commit 12. Okt. 2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Haskell-Turtle-LibraryHaskell

Shell programming, Haskell style

Letzter Commit 6. Mai 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Idris1Haskell

A Dependently Typed Functional Programming Language

Letzter Commit 28. Aug. 2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Idris2Idris

A purely functional programming language with first class types

Letzter Commit 13. Juli 2022

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Idris2-bootIdris

A dependently typed programming language, a successor to Idris

Letzter Commit 14. Sept. 2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Notes-2Shell

Notes taken from diverse technologies

Letzter Commit 6. Jan. 2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/OAuth2v1Java

Letzter Commit 25. Nov. 2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/PLAROCaml

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

Letzter Commit 16. Jan. 2012

 (6 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/PLGradSchools

Letzter Commit 24. Okt. 2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/SDL-idrisIdris

SDL bindings package for idris

Letzter Commit 20. Jan. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/SPLV20Idris

SPLV20 course notes

Letzter Commit 20. Aug. 2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/ShowOffPadObjective-C

ShowOff Presenter on the iPad

Letzter Commit 16. Mai 2010

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/Spoon-KnifeHTML

This repo is for demonstration purposes only.

Letzter Commit 12. Feb. 2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/StopPayingForFreeMonadsHaskell

Letzter Commit 6. Mai 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/StopPayingForFreeMonads-forkedHaskell

Haskell code for YOW LambdaJam 2016 workshop

Letzter Commit 1. Mai 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/The-Voids-Of-Haskell

Letzter Commit 27. Juni 2021

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
steshaw/adt-in-java-with-foldJava

Encoding algebraic data types in Java using fold

Letzter Commit 13. Aug. 2013

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)