Alternatives and similar repositories for PhysicalBits

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

• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• ToonTalk / ToonTalk
  Animated programming language for children of all ages
  ☆58Updated 2 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 3 months ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆31Updated this week
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆63Updated last month
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 4 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• POWER-KI / POWER-KI
  POWER-KI programming language for Intelligent Applications (IA)
  ☆16Updated last month
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 4 years ago
• LivelyKernel / lively4-core
  A Self-supporting, Web-based Development Environment
  ☆85Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆69Updated last week
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last week
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last month
• rickbutton / loki
  A Scheme to WebAssembly compiler
  ☆16Updated 4 years ago
• mech-lang / mech
  🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
  ☆258Updated last month
• cbiffle / ruckus
  Procedural CAD for Weirdos
  ☆54Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• jacobaustin123 / Coral
  The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…
  ☆147Updated last month
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 11 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago