nick8325 Goto Github PK

beeby

A BBC Micro emulator

combinatory-logic-in-shell-script

I was feeling evil one night :)

completion

A prototype implementation of Knuth-Bendix completion written in Prolog

complexity

Infer complexity of algorithms by testing

corpora

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

emna

Simple inductive prover with detailed proof output

equinox

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

example-finding

faustilogue

Convert Faust DSP files to KORG logue custom oscillators

flashcards

A wee flashcard program

fourier-motzkin

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

frown

LALR(k) Parser Generator for Haskell, by Ralf Hinze

fusion

Tinkering with list fusion

gc

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

guess

Guess the definition of a predicate by black-box testing

haiku-ghc

Instructions+patches for building GHC for Haiku

harbour-defender

Defender is a privacy guard for SailfishOS

hbmc

Haskell Bounded Model Checker

hott-html

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

imguin

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

imp

Testing imperative code with QuickSpec

imperative-edsl

Deep embedding of imperative programs with code generation

jukebox

A theorem prover

metaerlang

Symbolic evaluation for the pure part of Erlang.

munch

Fast parser combinators

munch-testdata

Test data for munch

n64-resources

neomutt

:email: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.freenode.net

nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

psx

A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.