Dépôts

Dépôts de steshaw

364 dépôts pris en charge

Afficher les dépôts avec des issues indexées
steshaw/EternalTerminalC++

Re-Connectable secure remote shell

Dernier commit 11 janv. 2022

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/EuropeCVTeX

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

Dernier commit 10 déc. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/FOSSPresentation

Introduction to FOSS, for beginning programmers

Dernier commit 24 nov. 2010

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Firefox-Quantum-Rounded-TabsCSS

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

Dernier commit 12 oct. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Haskell-Turtle-LibraryHaskell

Shell programming, Haskell style

Dernier commit 6 mai 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Idris1Haskell

A Dependently Typed Functional Programming Language

Dernier commit 28 août 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Idris2Idris

A purely functional programming language with first class types

Dernier commit 13 juil. 2022

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Idris2-bootIdris

A dependently typed programming language, a successor to Idris

Dernier commit 14 sept. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Notes-2Shell

Notes taken from diverse technologies

Dernier commit 6 janv. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/OAuth2v1Java

Dernier commit 25 nov. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/PLAROCaml

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

Dernier commit 16 janv. 2012

 (6 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/PLGradSchools

Dernier commit 24 oct. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/SDL-idrisIdris

SDL bindings package for idris

Dernier commit 20 janv. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/SPLV20Idris

SPLV20 course notes

Dernier commit 20 août 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/ShowOffPadObjective-C

ShowOff Presenter on the iPad

Dernier commit 16 mai 2010

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/Spoon-KnifeHTML

This repo is for demonstration purposes only.

Dernier commit 12 févr. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/StopPayingForFreeMonadsHaskell

Dernier commit 6 mai 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/StopPayingForFreeMonads-forkedHaskell

Haskell code for YOW LambdaJam 2016 workshop

Dernier commit 1 mai 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/The-Voids-Of-Haskell

Dernier commit 27 juin 2021

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
steshaw/adt-in-java-with-foldJava

Encoding algebraic data types in Java using fold

Dernier commit 13 août 2013

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)