Repositories

steshaw repositories

364 supported repositories

Show repositories with indexed issues
steshaw/EternalTerminalC++

Re-Connectable secure remote shell

Last commit Jan 11, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/EuropeCVTeX

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

Last commit Dec 10, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/FOSSPresentation

Introduction to FOSS, for beginning programmers

Last commit Nov 24, 2010

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

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

Last commit Oct 12, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Haskell-Turtle-LibraryHaskell

Shell programming, Haskell style

Last commit May 6, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Idris1Haskell

A Dependently Typed Functional Programming Language

Last commit Aug 28, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Idris2Idris

A purely functional programming language with first class types

Last commit Jul 13, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Idris2-bootIdris

A dependently typed programming language, a successor to Idris

Last commit Sep 14, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Notes-2Shell

Notes taken from diverse technologies

Last commit Jan 6, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/OAuth2v1Java

Last commit Nov 25, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/PLAROCaml

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

Last commit Jan 16, 2012

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/PLGradSchools

Last commit Oct 24, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/SDL-idrisIdris

SDL bindings package for idris

Last commit Jan 20, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/SPLV20Idris

SPLV20 course notes

Last commit Aug 20, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/ShowOffPadObjective-C

ShowOff Presenter on the iPad

Last commit May 16, 2010

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/Spoon-KnifeHTML

This repo is for demonstration purposes only.

Last commit Feb 12, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/StopPayingForFreeMonadsHaskell

Last commit May 6, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/StopPayingForFreeMonads-forkedHaskell

Haskell code for YOW LambdaJam 2016 workshop

Last commit May 1, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
steshaw/The-Voids-Of-Haskell

Last commit Jun 27, 2021

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

Encoding algebraic data types in Java using fold

Last commit Aug 13, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)