Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
71,372 visible repositories in the index
49–63 of 63 · Most stars
Secure firmware framework focusing on developer experience
Embedded mruby/Ruby for Crystal
- crystal
- mruby
- scripting
- ruby
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
Embedded and Extensible Scripting Language in Clojure
- lua
- eden
- clojure
- clojurescript
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Wrapper around mbedtls
An embeddable implementation of the Ngaro Virtual Machine for Go programs
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.
- ecdsa
- mbedtls
- micropython
- tls
ASN.1 compiler for embedded systems