Repositórios

Repositórios de steshaw

364 repositórios suportados

Mostrar repositórios com issues indexadas
steshaw/EternalTerminalC++

Re-Connectable secure remote shell

Último commit 11 de jan. de 2022

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/EuropeCVTeX

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

Último commit 10 de dez. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/FOSSPresentation

Introduction to FOSS, for beginning programmers

Último commit 24 de nov. de 2010

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Firefox-Quantum-Rounded-TabsCSS

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

Último commit 12 de out. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Haskell-Turtle-LibraryHaskell

Shell programming, Haskell style

Último commit 6 de mai. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Idris1Haskell

A Dependently Typed Functional Programming Language

Último commit 28 de ago. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Idris2Idris

A purely functional programming language with first class types

Último commit 13 de jul. de 2022

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Idris2-bootIdris

A dependently typed programming language, a successor to Idris

Último commit 14 de set. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Notes-2Shell

Notes taken from diverse technologies

Último commit 6 de jan. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/OAuth2v1Java

Último commit 25 de nov. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/PLAROCaml

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

Último commit 16 de jan. de 2012

 (6 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/PLGradSchools

Último commit 24 de out. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/SDL-idrisIdris

SDL bindings package for idris

Último commit 20 de jan. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/SPLV20Idris

SPLV20 course notes

Último commit 20 de ago. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/ShowOffPadObjective-C

ShowOff Presenter on the iPad

Último commit 16 de mai. de 2010

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/Spoon-KnifeHTML

This repo is for demonstration purposes only.

Último commit 12 de fev. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/StopPayingForFreeMonadsHaskell

Último commit 6 de mai. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/StopPayingForFreeMonads-forkedHaskell

Haskell code for YOW LambdaJam 2016 workshop

Último commit 1 de mai. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/The-Voids-Of-Haskell

Último commit 27 de jun. de 2021

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
steshaw/adt-in-java-with-foldJava

Encoding algebraic data types in Java using fold

Último commit 13 de ago. de 2013

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)