cair / TsetlinMachineC
A C implementation of the Tsetlin Machine
☆15Updated 6 years ago
Alternatives and similar repositories for TsetlinMachineC:
Users that are interested in TsetlinMachineC are comparing it to the libraries listed below
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated 2 weeks ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- mirror of http://hg.dyncall.org/pub/dyncall/dyncall☆16Updated 9 years ago
- Adaptive Neuro-Symbolic Network Agent☆36Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated this week
- Startle C Library☆18Updated 6 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated 2 years ago
- Original Joy☆10Updated 2 months ago
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated 2 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆29Updated 2 months ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 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 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 6 years ago
- firm object-orientation support library☆14Updated 3 years ago
- The Cubicle model checker☆13Updated 11 months ago
- Runtime and miner for the LODA language written in C++☆24Updated 2 weeks 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
- Theorems, Definitions, Papers, Research☆16Updated 5 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 3 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 4 months ago
- Teaching materials for Model-based Automated Software Engineering☆12Updated 9 years ago
- Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.☆12Updated 8 months ago