Alternatives and similar repositories for mcts

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

• theartofcomputerprogramming / programs
  Algorithms and programs from The Art of Computer Programming written in C
  ☆22Updated 2 years ago
• Blunk-electronic / ada_training
  Training files for Ada courses
  ☆13Updated 2 weeks ago
• gumpu / ROBODoc
  Documentation Extraction Tool
  ☆82Updated 2 years ago
• Inaxo / MathLib
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Updated 2 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• asvitkine / ccons
  Interactive Console for the C Programming Language
  ☆72Updated 10 years ago
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases, with fixes and CI
  ☆15Updated 5 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated this week
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆13Updated 8 years ago
• jakobmoosbauer / flips
  ☆18Updated 2 months ago
• llnl / yorick
  yorick interpreted language
  ☆83Updated 10 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• ibara / echo
  Learn how argc and argv are passed from environment to Unix program.
  ☆19Updated 4 years ago
• AnaTofuZ / Perl-1.0
  ☆13Updated 6 months ago
• jpellegrini / gnu-apl-refcard
  A reference card for GNU APL
  ☆11Updated 11 months ago
• stnuessl / rf
  rf is a command-line tool capable of refactoring C and C++ source code.
  ☆24Updated 2 years ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• felix-lang / judy
  A C library for creating and accessing dynamic arrays with near O(log-base-256) scalability into the peta-element range
  ☆33Updated 15 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• isanbard / flang
  Fortran Front-End
  ☆36Updated 4 years ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆37Updated 6 years ago
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆30Updated 10 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated last week
• ChrisDodd / btyacc
  Backtracking yacc
  ☆23Updated last week
• 8l / scc
  scc - simple C Compiler
  ☆58Updated 8 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆25Updated 3 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated 3 weeks ago
• AndreiDuma / SmithForth_RISC-V
  An accessible Forth written in machine code for the RISC-V architecture.
  ☆23Updated 3 weeks ago