mosser / ArduinoML-kernelLinks
Zoo of implementations associated to the ArduinoML kernel
☆16Updated 7 months ago
Alternatives and similar repositories for ArduinoML-kernel
Users that are interested in ArduinoML-kernel are comparing it to the libraries listed below
Sorting:
- Lightweight approach to embed new languages into a host language☆12Updated 8 years ago
- The Art Of Domain-Specific Languages: Let's Hack Our Own Languages!☆11Updated 2 years ago
- Pharo utility for visualizing OO instance structure during runtime via UML instance models.☆13Updated 7 years ago
- Jdt2Famix takes Java sources and produces MSE files that can be imported into Glamorous Toolkit.☆38Updated 3 years ago
- Elasticsearch for Pharo Smalltalk☆10Updated 3 years ago
- gemoc-studio☆27Updated 3 months ago
- A Domain-Specific Language (DSL) for simplified music notation.☆19Updated 10 years ago
- The Melange Language Workbench☆29Updated last year
- An implementation of µKanren for Pharo☆12Updated 10 years ago
- A migration of the project: http://ss3.gemtalksystems.com/ss/Tabular.html☆14Updated last year
- Evaluate and visualize DataFrame directly in the same Inspector window.☆14Updated last year
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- The Pharo-AI Wiki☆16Updated last year
- Write Benchmarks like Tests☆13Updated 3 years ago
- The Glamorous Toolkit for remote work with Gemstone/S☆13Updated 3 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- A visual tool for assessing Git commits and GitHub Pull Requests☆11Updated 6 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 9 years ago
- PharoADO enables data persistence in Pharo by using ActiveX Data Objects (ADO) on Microsoft Windows and external DBMS☆10Updated 4 years ago
- Access resources and information from the git repository containing your project.☆16Updated 2 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated 2 years ago
- Quantities as first class objects, that is, an object that encapsulates a number with its unit.☆14Updated last month
- CORMAS (COmmon pool Ressources and Multi-Agent Simulations)☆29Updated this week
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 2 years ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- A port of Box2D Lite to Pharo Smalltalk☆14Updated 5 years ago
- ☆13Updated 7 years ago