Dépôts

Dépôts de nick8325

36 dépôts pris en charge

Afficher les dépôts avec des issues indexées
nick8325/beebyHaskell

A BBC Micro emulator

Dernier commit 20 juil. 2013

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/combinatory-logic-in-shell-scriptShell

I was feeling evil one night :)

Dernier commit 23 sept. 2012

 (5 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/completionProlog

A prototype implementation of Knuth-Bendix completion written in Prolog

Dernier commit 14 janv. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/complexityErlang

Infer complexity of algorithms by testing

Dernier commit 3 juil. 2017

 (6 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/corporaHaskell

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

Dernier commit 15 mars 2022

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/emnaHaskell

Simple inductive prover with detailed proof output

Dernier commit 12 mars 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/equinoxHaskell

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

Dernier commit 20 sept. 2025

 (22 stars) (5 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/example-findingHaskell

Dernier commit 21 nov. 2018

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

Convert Faust DSP files to KORG logue custom oscillators

Dernier commit 4 oct. 2025

 (8 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/flashcardsHaskell

A wee flashcard program

Dernier commit 29 déc. 2012

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/fourier-motzkinHaskell

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

Dernier commit 21 févr. 2020

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

Tinkering with list fusion

Dernier commit 3 oct. 2012

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/gcC

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

Dernier commit 19 nov. 2013

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/guessHaskell

Guess the definition of a predicate by black-box testing

Dernier commit 6 oct. 2014

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/haiku-ghc

Instructions+patches for building GHC for Haiku

Dernier commit 1 nov. 2014

 (3 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/hott-htmlPython

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

Dernier commit 26 juin 2013

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/imguinNim

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

Dernier commit 28 déc. 2023

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/impHaskell

Testing imperative code with QuickSpec

Dernier commit 19 mars 2025

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/imperative-edslHaskell

Deep embedding of imperative programs with code generation

Dernier commit 28 nov. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
nick8325/jukeboxHaskell

A theorem prover

Dernier commit 9 mai 2026

 (14 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)