Alternatives and similar repositories for nqthm

Users that are interested in nqthm are comparing it to the libraries listed below

• John-Nagle / pasv

  View on GitHub
  The Pascal-F Verifier
  ☆51Jul 17, 2017Updated 8 years ago
• VincentToups / DevilsPong

  View on GitHub
  A simple game in Scheme.
  ☆15Dec 30, 2016Updated 9 years ago
• aardappel / restructor

  View on GitHub
  Restructor Prototype
  ☆22Jun 10, 2017Updated 8 years ago
• SymbianSource / oss.FCL.sftools.fbf.utilities

  View on GitHub
  Symbian Utilities
  ☆11Nov 7, 2016Updated 9 years ago
• robertpfeiffer / cola

  View on GitHub
  combined object/lambda architcture
  ☆25May 2, 2009Updated 16 years ago
• CGenie / ray-tracer

  View on GitHub
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Mar 23, 2021Updated 4 years ago
• true-grue / old_softsynths_article_examples

  View on GitHub
  ☆12Jan 25, 2018Updated 8 years ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆10Dec 17, 2024Updated last year
• darius / idel

  View on GitHub
  A low-level virtual machine for mobile code
  ☆12Sep 23, 2017Updated 8 years ago
• bos / suffixtree

  View on GitHub
  An efficient, lazy suffix tree implementation
  ☆13Dec 10, 2020Updated 5 years ago
• thoppe / Encyclopedia-of-Finite-Graphs

  View on GitHub
  Set of tools and data to compute all known invariants for simple connected graphs
  ☆14Mar 6, 2018Updated 7 years ago
• doublec / shen-wasp

  View on GitHub
  Port of Shen to run on top of Wasp Lisp
  ☆25Apr 29, 2022Updated 3 years ago
• UBMLtonGroup / RTMLton

  View on GitHub
  MLton with Realtime GC and Threading features
  ☆103Mar 7, 2024Updated last year
• agiacalone / cecs-342-lab-prolog

  View on GitHub
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Nov 19, 2021Updated 4 years ago
• vlad17 / svm2csr

  View on GitHub
  fast Rust-based SVMlight parser
  ☆11Feb 19, 2021Updated 4 years ago
• aliceml / aliceml-alice

  View on GitHub
  Alice ML implementation
  ☆17Nov 25, 2022Updated 3 years ago
• framed-data / clj-btable

  View on GitHub
  A binary serialization format for sparse, labeled 2D numeric datasets
  ☆12Sep 29, 2015Updated 10 years ago
• Co-dfns / apixlib

  View on GitHub
  An Image Dictionary for Co-dfns
  ☆15Jun 16, 2017Updated 8 years ago
• SergeStinckwich / Helvetia

  View on GitHub
  Lightweight approach to embed new languages into a host language
  ☆12Mar 10, 2017Updated 8 years ago
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• ocsigen / ocaml-eliom

  View on GitHub
  A modified OCaml compiler for eliom programs
  ☆10Jan 16, 2017Updated 9 years ago
• Ducasse / SOUL

  View on GitHub
  Rescuing the SOUL great logic meta programming language
  ☆12Oct 7, 2018Updated 7 years ago
• zweidenker / JSONSchema

  View on GitHub
  Implementation of JSON schema for pharo
  ☆16May 6, 2024Updated last year
• glynawe / awe

  View on GitHub
  A compiler for the Algol W programming language.
  ☆15Jul 13, 2025Updated 7 months ago
• AaronJackson / bnlisp

  View on GitHub
  A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11
  ☆21Dec 20, 2022Updated 3 years ago
• byorgey / enumeration

  View on GitHub
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Apr 22, 2025Updated 9 months ago
• davidjbacon / SETL

  View on GitHub
  GNU SETL
  ☆37Feb 7, 2025Updated last year
• nikodemus / screamer

  View on GitHub
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆250Apr 15, 2024Updated last year
• teyjus / teyjus

  View on GitHub
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆161Apr 21, 2024Updated last year
• metamath / metamath-knife

  View on GitHub
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42May 7, 2025Updated 9 months ago
• ilya-klyuchnikov / refal

  View on GitHub
  ☆13Apr 19, 2025Updated 9 months ago
• deepfire / holotype

  View on GitHub
  An attempt to reimagine knowledge interaction.
  ☆18Sep 27, 2020Updated 5 years ago
• kgabis / gravitysim

  View on GitHub
  Gravity simulation in C using Barnes-Hut algorithm.
  ☆19Apr 2, 2017Updated 8 years ago
• qgevans / geomyid

  View on GitHub
  Gopher server written in Common Lisp
  ☆13Nov 7, 2016Updated 9 years ago
• 8l / miniPicoLisp

  View on GitHub
  A kind of "pure" PicoLisp (not "pure Lisp"!).
  ☆13Aug 22, 2017Updated 8 years ago
• eiselekd / MinimalLisp

  View on GitHub
  Minimal Lisp/Forth
  ☆11Jan 5, 2025Updated last year
• UCSD-PL / veridrone

  View on GitHub
  Foundational Verification of Hybrid Systems
  ☆15Mar 23, 2017Updated 8 years ago
• poplog / poplog

  View on GitHub
  Poplog
  ☆21Nov 18, 2010Updated 15 years ago
• vtereshkov / fem

  View on GitHub
  I ❤︎ FEM: A finite element method demo in Umka and tophat
  ☆18Jul 12, 2025Updated 7 months ago