Repositórios

Repositórios de nick8325

36 repositórios suportados

Mostrar repositórios com issues indexadas
nick8325/beebyHaskell

A BBC Micro emulator

Último commit 20 de jul. de 2013

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

I was feeling evil one night :)

Último commit 23 de set. de 2012

 (5 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/completionProlog

A prototype implementation of Knuth-Bendix completion written in Prolog

Último commit 14 de jan. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/complexityErlang

Infer complexity of algorithms by testing

Último commit 3 de jul. de 2017

 (6 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/corporaHaskell

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

Último commit 15 de mar. de 2022

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/emnaHaskell

Simple inductive prover with detailed proof output

Último commit 12 de mar. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/equinoxHaskell

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

Último commit 20 de set. de 2025

 (22 stars) (5 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/example-findingHaskell

Último commit 21 de nov. de 2018

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/faustiloguePython

Convert Faust DSP files to KORG logue custom oscillators

Último commit 4 de out. de 2025

 (8 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/flashcardsHaskell

A wee flashcard program

Último commit 29 de dez. de 2012

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/fourier-motzkinHaskell

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

Último commit 21 de fev. de 2020

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/fusionHaskell

Tinkering with list fusion

Último commit 3 de out. de 2012

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/gcC

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

Último commit 19 de nov. de 2013

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/guessHaskell

Guess the definition of a predicate by black-box testing

Último commit 6 de out. de 2014

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/haiku-ghc

Instructions+patches for building GHC for Haiku

Último commit 1 de nov. de 2014

 (3 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/hott-htmlPython

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

Último commit 26 de jun. de 2013

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/imguinNim

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

Último commit 28 de dez. de 2023

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/impHaskell

Testing imperative code with QuickSpec

Último commit 19 de mar. de 2025

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/imperative-edslHaskell

Deep embedding of imperative programs with code generation

Último commit 28 de nov. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
nick8325/jukeboxHaskell

A theorem prover

Último commit 9 de mai. de 2026

 (14 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)