Repositories

nick8325 Repositories

36 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
nick8325/beebyHaskell

A BBC Micro emulator

Letzter Commit 20. Juli 2013

 (3 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/combinatory-logic-in-shell-scriptShell

I was feeling evil one night :)

Letzter Commit 23. Sept. 2012

 (5 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/completionProlog

A prototype implementation of Knuth-Bendix completion written in Prolog

Letzter Commit 14. Jan. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/complexityErlang

Infer complexity of algorithms by testing

Letzter Commit 3. Juli 2017

 (6 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/corporaHaskell

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

Letzter Commit 15. März 2022

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/emnaHaskell

Simple inductive prover with detailed proof output

Letzter Commit 12. März 2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/equinoxHaskell

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

Letzter Commit 20. Sept. 2025

 (22 Stars) (5 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/example-findingHaskell

Letzter Commit 21. Nov. 2018

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

Convert Faust DSP files to KORG logue custom oscillators

Letzter Commit 4. Okt. 2025

 (8 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/flashcardsHaskell

A wee flashcard program

Letzter Commit 29. Dez. 2012

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/fourier-motzkinHaskell

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

Letzter Commit 21. Feb. 2020

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

Tinkering with list fusion

Letzter Commit 3. Okt. 2012

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/gcC

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

Letzter Commit 19. Nov. 2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/guessHaskell

Guess the definition of a predicate by black-box testing

Letzter Commit 6. Okt. 2014

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/haiku-ghc

Instructions+patches for building GHC for Haiku

Letzter Commit 1. Nov. 2014

 (3 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/hott-htmlPython

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

Letzter Commit 26. Juni 2013

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/imguinNim

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

Letzter Commit 28. Dez. 2023

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/impHaskell

Testing imperative code with QuickSpec

Letzter Commit 19. März 2025

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/imperative-edslHaskell

Deep embedding of imperative programs with code generation

Letzter Commit 28. Nov. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
nick8325/jukeboxHaskell

A theorem prover

Letzter Commit 9. Mai 2026

 (14 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)