GIRA / PhysicalBits
A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programming language.
☆20Updated 3 months ago
Alternatives and similar repositories for PhysicalBits:
Users that are interested in PhysicalBits are comparing it to the libraries listed below
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 5 years ago
- Web player for SqueakNews e-zine (2001)☆19Updated 4 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆16Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- Animated programming language for children of all ages☆56Updated last year
- lang befunge 93 fast☆20Updated last year
- tools for common-logic☆19Updated 12 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 11 months ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated this week
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- A webbrowser for Squeak using Chrome/Chromium. Not to be confused with a highly innovative pointing device.☆26Updated 2 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Wasm tooling in Racket.☆43Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Community contributions to the Grammatical Framework☆61Updated 9 months ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- A community driven philosophical language☆26Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- Squeak/Smalltalk release bundles☆47Updated 3 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 weeks ago
- A rule engine based on Attempto Controlled English☆18Updated 5 months ago
- ☆12Updated 2 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago
- Exercism exercises in Prolog.☆30Updated last month
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago