Alternatives and similar repositories for TsetlinMachineC:

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

• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 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.
  ☆23Updated 2 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 months ago
• libfirm / liboo
  firm object-orientation support library
  ☆14Updated 3 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆34Updated 2 years ago
• zhuomingliang / dyncall
  mirror of http://hg.dyncall.org/pub/dyncall/dyncall
  ☆15Updated 9 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 3 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated this week
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• waywardgeek / datadraw
  ☆40Updated last year
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated 3 weeks ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 6 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• NeuroRoboticTech / AnimatLabPublicSource
  Public source code for AnimatLab neuromechanical simulator system
  ☆14Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago