Repositories

nick8325 repositories

36 supported repositories

Show repositories with indexed issues
nick8325/beebyHaskell

A BBC Micro emulator

Last commit Jul 20, 2013

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/combinatory-logic-in-shell-scriptShell

I was feeling evil one night :)

Last commit Sep 23, 2012

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/completionProlog

A prototype implementation of Knuth-Bendix completion written in Prolog

Last commit Jan 14, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/complexityErlang

Infer complexity of algorithms by testing

Last commit Jul 3, 2017

 (6 stars) (2 forks) (0 indexed issues) (0 open good first issues)
nick8325/corporaHaskell

Tinkering around with corpora queries (nothing to see here yet)

Last commit Mar 15, 2022

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/emnaHaskell

Simple inductive prover with detailed proof output

Last commit Mar 12, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/equinoxHaskell

Paradox model finder and equinox theorem prover for first-order logic.

Last commit Sep 20, 2025

 (22 stars) (5 forks) (0 indexed issues) (0 open good first issues)
nick8325/example-findingHaskell

Last commit Nov 21, 2018

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/faustiloguePython

Convert Faust DSP files to KORG logue custom oscillators

Last commit Oct 4, 2025

 (8 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/flashcardsHaskell

A wee flashcard program

Last commit Dec 29, 2012

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/fourier-motzkinHaskell

A wee solver for linear inequalities based on Fourier-Motzkin elimination.

Last commit Feb 21, 2020

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/fusionHaskell

Tinkering with list fusion

Last commit Oct 3, 2012

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/gcC

A non-conservative garbage collector for cooperating C programs. Not entirely sure why it exists.

Last commit Nov 19, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/guessHaskell

Guess the definition of a predicate by black-box testing

Last commit Oct 6, 2014

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/haiku-ghc

Instructions+patches for building GHC for Haiku

Last commit Nov 1, 2014

 (3 stars) (2 forks) (0 indexed issues) (0 open good first issues)
nick8325/hott-htmlPython

A textbook on informal homotopy type theory - with HTML/epub/mobi output

Last commit Jun 26, 2013

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/imguinNim

Dear Imgui / CImGui, ImPlot/CImPlot wrapper for Nim language

Last commit Dec 28, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/impHaskell

Testing imperative code with QuickSpec

Last commit Mar 19, 2025

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/imperative-edslHaskell

Deep embedding of imperative programs with code generation

Last commit Nov 28, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
nick8325/jukeboxHaskell

A theorem prover

Last commit May 9, 2026

 (14 stars) (0 forks) (0 indexed issues) (0 open good first issues)