仓库

nick8325 的仓库

36 个支持的仓库

只显示包含已索引 issue 的仓库
nick8325/beebyHaskell

A BBC Micro emulator

最近提交 2013年7月20日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/combinatory-logic-in-shell-scriptShell

I was feeling evil one night :)

最近提交 2012年9月23日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/completionProlog

A prototype implementation of Knuth-Bendix completion written in Prolog

最近提交 2015年1月14日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/complexityErlang

Infer complexity of algorithms by testing

最近提交 2017年7月3日

 (6 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/corporaHaskell

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

最近提交 2022年3月15日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/emnaHaskell

Simple inductive prover with detailed proof output

最近提交 2018年3月12日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/equinoxHaskell

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

最近提交 2025年9月20日

 (22 stars) (5 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/example-findingHaskell

最近提交 2018年11月21日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/faustiloguePython

Convert Faust DSP files to KORG logue custom oscillators

最近提交 2025年10月4日

 (8 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/flashcardsHaskell

A wee flashcard program

最近提交 2012年12月29日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/fourier-motzkinHaskell

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

最近提交 2020年2月21日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/fusionHaskell

Tinkering with list fusion

最近提交 2012年10月3日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/gcC

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

最近提交 2013年11月19日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/guessHaskell

Guess the definition of a predicate by black-box testing

最近提交 2014年10月6日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/haiku-ghc

Instructions+patches for building GHC for Haiku

最近提交 2014年11月1日

 (3 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/hott-htmlPython

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

最近提交 2013年6月26日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/imguinNim

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

最近提交 2023年12月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/impHaskell

Testing imperative code with QuickSpec

最近提交 2025年3月19日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/imperative-edslHaskell

Deep embedding of imperative programs with code generation

最近提交 2016年11月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
nick8325/jukeboxHaskell

A theorem prover

最近提交 2026年5月9日

 (14 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)