cair / TsetlinMachineC
A C implementation of the Tsetlin Machine
☆14Updated 5 years ago
Related projects: ⓘ
- Runtime and miner for the LODA language written in C++☆21Updated this week
- Startle C Library☆16Updated 5 years ago
- Carpet fractal genetic algorithm☆12Updated 6 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- C with traits - or how I learned to stop worrying and love something resembling multiple inheritance.☆35Updated 11 years ago
- Original Joy☆10Updated 2 weeks ago
- interpreter devkit☆24Updated 4 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆33Updated 2 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated last year
- Superoptimizer using the z3 SMT solver☆15Updated 3 years ago
- Operations with matrices, SWI pack☆12Updated 9 months ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Asserting algebraic properties of C functions☆10Updated 5 months ago
- Block-style programming environment for tackling graph structure and graph algorithm, based on MIT Scratch.☆18Updated last month
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- moderngpu algorithms for C++ shaders☆16Updated 3 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 2 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆13Updated 4 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- Quipu Programming Language☆18Updated 11 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- ☆40Updated last year
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- A datalog implementation in pure Lua (LPEG parser).☆22Updated last year