Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "programming-language" keyword
rpg-compiler 0.1.1
A compiler library for the rpg esoteric programming language2 versions - Latest release: over 2 years ago - 1 dependent repositories - 759 downloads total - 6 stars on GitHub - 1 maintainer
voile-util 0.2.2
Utilities extracted from Voile language's type-checker15 versions - Latest release: over 4 years ago - 2 dependent packages - 10.2 thousand downloads total - 93 stars on GitHub - 1 maintainer
voile 0.2.6
Voile, a dependently-typed row-polymorphic programming language31 versions - Latest release: over 3 years ago - 14.9 thousand downloads total - 93 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: about 4 years ago - 2 dependent repositories - 539 downloads total - 256 stars on GitHub - 1 maintainer
ocypode-lang 0.2.3 💰
A dynamic programming language written in Rust6 versions - Latest release: 9 months ago - 1.69 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 8.5% on crates.io
20 versions - Latest release: almost 3 years ago - 5 dependent packages - 2 dependent repositories - 9.43 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-input 1.5.3
Input parser of the Leo programming language20 versions - Latest release: almost 3 years ago - 5 dependent packages - 2 dependent repositories - 9.43 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-gadgets
Gadgets of the Leo programming language13 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 4.53 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
structware 0.0.1
Rust library for structware project1 version - Latest release: about 2 years ago - 425 downloads total - 1 maintainer
leo-typed
Typed AST of the Leo programming language5 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 1.89 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-type-inference
Checks that a program is correct using type inference4 versions - Latest release: about 1 month ago - 1 dependent package - 1.38 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
catalyst_entities 0.1.2
Low level data-structures for multithreaded and incremental compilation.3 versions - Latest release: about 1 year ago - 879 downloads total - 6 stars on GitHub - 1 maintainer
leo-asg-passes 1.5.3
The Leo programming language6 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 3.16 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-grammar 1.0.7
AST generated by pest from the Leo grammar rules9 versions - Latest release: over 3 years ago - 6 dependent packages - 3.16 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 10.0% on crates.io
19 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 8.02 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-state 1.5.3
State parser of the Leo programming language19 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 8.02 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-symbol-table
Stores user-defined variables during type resolution4 versions - Latest release: about 1 month ago - 2 dependent packages - 1.37 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
brillig_vm 0.45.0
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM33 versions - Latest release: 27 days ago - 2 dependent packages - 2 dependent repositories - 26.1 thousand downloads total - 779 stars on GitHub - 2 maintainers
acvm 0.45.0
The virtual machine that processes ACIR given a backend/proof system.50 versions - Latest release: 27 days ago - 1 dependent package - 1 dependent repositories - 50.4 thousand downloads total - 779 stars on GitHub - 2 maintainers
bn254_blackbox_solver 0.45.0
Solvers for black box functions which are specific for the bn254 curve5 versions - Latest release: 27 days ago - 1.05 thousand downloads total - 779 stars on GitHub - 2 maintainers
acvm_blackbox_solver 0.45.0
A solver for the blackbox functions found in ACIR and Brillig24 versions - Latest release: 27 days ago - 4 dependent packages - 1 dependent repositories - 20.7 thousand downloads total - 779 stars on GitHub - 2 maintainers
Top 8.0% on crates.io
61 versions - Latest release: 27 days ago - 6 dependent packages - 2 dependent repositories - 56 thousand downloads total - 779 stars on GitHub - 2 maintainers
acir_field 0.45.0
The field implementation being used by ACIR.61 versions - Latest release: 27 days ago - 6 dependent packages - 2 dependent repositories - 56 thousand downloads total - 779 stars on GitHub - 2 maintainers
acir 0.45.0
ACIR is the IR that the VM processes, it is analogous to LLVM IR57 versions - Latest release: 27 days ago - 6 dependent packages - 2 dependent repositories - 55.4 thousand downloads total - 779 stars on GitHub - 2 maintainers
brillig 0.45.0
Brillig is the bytecode ACIR uses for non-determinism.24 versions - Latest release: 27 days ago - 2 dependent packages - 1 dependent repositories - 19.7 thousand downloads total - 779 stars on GitHub - 2 maintainers
rune-core 0.13.2
Core components for the Rune Language, an embeddable dynamic programming language for Rust.3 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 3.75 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
runestick-time 0.3.0
An time module based on tokio::time for runestick.2 versions - Latest release: over 3 years ago - 1 dependent package - 842 downloads total - 1,576 stars on GitHub - 1 maintainer
rune-ssa 0.9.1
Intermediate mode representation for Rune.2 versions - Latest release: almost 3 years ago - 1 dependent package - 3 dependent repositories - 1.64 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
38 versions - Latest release: 3 months ago - 6 dependent packages - 4 dependent repositories - 21.9 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-modules 0.13.2
Native modules for Rune, an embeddable dynamic programming language for Rust.38 versions - Latest release: 3 months ago - 6 dependent packages - 4 dependent repositories - 21.9 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
runestick-json 0.3.0
An JSON module based on serde_json for runestick.2 versions - Latest release: over 3 years ago - 2 dependent packages - 1.36 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-testing 0.6.15
Test helpers for Rune, an embeddable dynamic programming language for Rust.21 versions - Latest release: over 3 years ago - 7.23 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
Top 8.4% on crates.io
28 versions - Latest release: almost 3 years ago - 11 dependent packages - 3 dependent repositories - 15.1 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
runestick 0.9.1
Runescript, a generic stack-based virtual machine for Rust.28 versions - Latest release: almost 3 years ago - 11 dependent packages - 3 dependent repositories - 15.1 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
runestick-macros 0.9.1
Runescript, a generic stack-based virtual machine for Rust.4 versions - Latest release: almost 3 years ago - 1 dependent package - 3 dependent repositories - 3.4 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-languageserver 0.13.2
A language server for the Rune Language, an embeddable dynamic programming language for Rust.15 versions - Latest release: 3 months ago - 4.89 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-wasm 0.13.2
A WASM module for the Rune Language, an embeddable dynamic programming language for Rust.15 versions - Latest release: 3 months ago - 4.65 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
42 versions - Latest release: 3 months ago - 11 dependent packages - 10 dependent repositories - 33.1 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune 0.13.2
The Rune Language, an embeddable dynamic programming language for Rust.42 versions - Latest release: 3 months ago - 11 dependent packages - 10 dependent repositories - 33.1 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-alloc-macros 0.13.2
Macros for alloc crate of the Rune Language, an embeddable dynamic programming language for Rust.3 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 4 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
runestick-http 0.3.0
An HTTP module based on reqwest for runestick.2 versions - Latest release: over 3 years ago - 1 dependent package - 833 downloads total - 1,576 stars on GitHub - 1 maintainer
Top 8.7% on crates.io
16 versions - Latest release: 3 months ago - 2 dependent packages - 10 dependent repositories - 22 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-macros 0.13.2
Macros for the Rune Language, an embeddable dynamic programming language for Rust.16 versions - Latest release: 3 months ago - 2 dependent packages - 10 dependent repositories - 22 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-cli 0.13.2
An interpreter for the Rune Language, an embeddable dynamic programming language for Rust.37 versions - Latest release: 3 months ago - 12.4 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
rune-alloc 0.13.2
The Rune Language, an embeddable dynamic programming language for Rust.3 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 3.9 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
leo-asg 1.5.3
ASG of the Leo programming language10 versions - Latest release: almost 3 years ago - 3 dependent packages - 2 dependent repositories - 5.28 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 9.3% on crates.io
190 versions - Latest release: 26 days ago - 4 dependent packages - 1 dependent repositories - 79.8 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
erg_parser 0.6.36 💰
The Erg parser190 versions - Latest release: 26 days ago - 4 dependent packages - 1 dependent repositories - 79.8 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
erg_type 0.5.8 💰
APIs for Erg types31 versions - Latest release: over 1 year ago - 3 dependent packages - 1 dependent repositories - 8.98 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
Top 7.6% on crates.io
192 versions - Latest release: 26 days ago - 9 dependent packages - 2 dependent repositories - 80.6 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
erg_common 0.6.36 💰
A common components library of Erg192 versions - Latest release: 26 days ago - 9 dependent packages - 2 dependent repositories - 80.6 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
erg_proc_macros 0.6.36 💰
proc macros for Erg39 versions - Latest release: 26 days ago - 3 dependent packages - 18.2 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
sixth 0.1.2
The Sixth Programming language3 versions - Latest release: over 1 year ago - 904 downloads total - 2 stars on GitHub - 1 maintainer
leo-synthesizer 1.5.3
Circuit synthesizer of the Leo programming language7 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 3.36 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leuchtkraft 0.1.0
A logical programming language1 version - Latest release: about 2 years ago - 447 downloads total - 2 stars on GitHub - 1 maintainer
Top 9.6% on crates.io
14 versions - Latest release: almost 3 years ago - 4 dependent packages - 2 dependent repositories - 6.01 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-imports 1.5.3
Import parser for Leo program package dependencies14 versions - Latest release: almost 3 years ago - 4 dependent packages - 2 dependent repositories - 6.01 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-linter 1.5.3
Linter of the Leo programming language18 versions - Latest release: almost 3 years ago - 6.5 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
air-interpreter-value 0.1.0
JSON value optimized for copying1 version - Latest release: 3 months ago - 5 dependent packages - 2.11 thousand downloads total - 76 stars on GitHub - 1 maintainer
leo-core 1.6.3
Core library functions for the Leo programming language9 versions - Latest release: over 1 year ago - 4 dependent packages - 1 dependent repositories - 3.37 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
air-utils 0.3.0
AIR helper funcitions and macros4 versions - Latest release: 3 months ago - 4 dependent packages - 2 dependent repositories - 11.2 thousand downloads total - 5 maintainers
leo-liner
Linter of the Leo programming language2 versions - Latest release: about 1 month ago - 685 downloads total - 4,044 stars on GitHub - 2 maintainers
rant 4.0.0-alpha.33 💰
The Rant procedural templating language34 versions - Latest release: about 2 years ago - 1 dependent repositories - 13.9 thousand downloads total - 190 stars on GitHub - 1 maintainer
bomlamaal 0.1.0
Bømlamål as a programming language.1 version - Latest release: about 3 years ago - 486 downloads total - 1 maintainer
qasm 1.0.0
A OPENQASM 2.0 Parser2 versions - Latest release: about 6 years ago - 1 dependent package - 4 dependent repositories - 3.05 thousand downloads total - 27 stars on GitHub - 1 maintainer
rush-interpreter-vm 0.1.2 💰
A rush interpreter leveraging a micro-compiler alongside a VM for its runtime3 versions - Latest release: over 1 year ago - 972 downloads total - 25 stars on GitHub - 1 maintainer
qvnt-qasm 0.2.0
A OPENQASM 2.0 Parser1 version - Latest release: about 2 years ago - 1 dependent package - 2 dependent repositories - 1.34 thousand downloads total - 27 stars on GitHub - 1 maintainer
sap-cli 1.0.3
The command line interface for the SAP programming language4 versions - Latest release: 3 months ago - 1.24 thousand downloads total - 0 stars on GitHub - 1 maintainer
mrdo 0.1.6
A programming language (compiler, assembler, VM, and REPL) for working with collections of data1 version - Latest release: 11 months ago - 344 downloads total - 0 stars on GitHub - 1 maintainer
claw-common 0.2.6
The Claw language common types and functions7 versions - Latest release: 24 days ago - 5 dependent packages - 2.44 thousand downloads total - 109 stars on GitHub - 1 maintainer
claw-codegen 0.2.6
The Claw language Wasm code generator7 versions - Latest release: 24 days ago - 2 dependent packages - 2.37 thousand downloads total - 109 stars on GitHub - 1 maintainer
claw-ast 0.2.6
The Claw language Abstract Syntax Tree (AST)7 versions - Latest release: 24 days ago - 4 dependent packages - 2.43 thousand downloads total - 109 stars on GitHub - 1 maintainer
compile-claw 0.2.6
The Claw language compiler library7 versions - Latest release: 24 days ago - 1 dependent package - 2.24 thousand downloads total - 109 stars on GitHub - 1 maintainer
claw-resolver 0.2.6
The Claw language name and type resolver7 versions - Latest release: 24 days ago - 3 dependent packages - 2.4 thousand downloads total - 109 stars on GitHub - 1 maintainer
claw-cli 0.2.6
The compiler for the Claw language7 versions - Latest release: 24 days ago - 2.31 thousand downloads total - 109 stars on GitHub - 1 maintainer
claw-parser 0.2.6
The Claw language lexer and parser7 versions - Latest release: 24 days ago - 2 dependent packages - 2.37 thousand downloads total - 109 stars on GitHub - 1 maintainer
generic-lang 0.1.1
A Lox based programming language2 versions - Latest release: 30 days ago - 440 downloads total - 1 stars on GitHub - 1 maintainer
rush-analyzer 0.1.1 💰
A semantic analyzer and type-annotator for the rush programming language2 versions - Latest release: over 1 year ago - 1 dependent package - 972 downloads total - 25 stars on GitHub - 1 maintainer
rush-parser 0.1.1 💰
A lexer and parser for the rush programming language2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 1.23 thousand downloads total - 25 stars on GitHub - 1 maintainer
wright 0.8.0 💰
The rust package and API for the wright programming language.23 versions - Latest release: over 4 years ago - 15.8 thousand downloads total - 20 stars on GitHub - 1 maintainer
brain 0.1.2
Compiler for the brain programming language. Compiles brain into optimized brainfuck code. Also i...4 versions - Latest release: over 7 years ago - 3.33 thousand downloads total - 166 stars on GitHub - 1 maintainer
foolang 0.0.0
Foolang is a Smalltalk-inspired toy language.1 version - Latest release: over 4 years ago - 612 downloads total - 37 stars on GitHub - 1 maintainer
fuyu 0.1.0
The Fuyu programming language1 version - Latest release: over 1 year ago - 361 downloads total - 2 stars on GitHub - 1 maintainer
stk-json 0.2.1
An JSON module based on serde_json for STK.2 versions - Latest release: almost 4 years ago - 2 dependent packages - 1.43 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
marigold 0.1.16
The Marigold Programming Language.14 versions - Latest release: over 1 year ago - 1 dependent repositories - 4.17 thousand downloads total - 3 stars on GitHub - 1 maintainer
stk 0.2.1
The simple stack-based virtual machine.2 versions - Latest release: almost 4 years ago - 4 dependent packages - 1.78 thousand downloads total - 1,576 stars on GitHub - 1 maintainer
jingo-lib 0.0.0 💰
The central library for Jingo, containing the core of the compiler.1 version - Latest release: almost 4 years ago - 508 downloads total - 9 stars on GitHub - 1 maintainer
stk-http 0.2.1
An HTTP module based on reqwest for STK.2 versions - Latest release: almost 4 years ago - 1 dependent package - 903 downloads total - 1,576 stars on GitHub - 1 maintainer
marigold-grammar 0.1.16
Grammar for the marigold language.16 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 5.74 thousand downloads total - 3 stars on GitHub - 1 maintainer
krab 0.1.3
Krab is a simple and minimalistic interpreted programming language written in Rust.4 versions - Latest release: about 1 year ago - 1.12 thousand downloads total - 11 stars on GitHub - 1 maintainer
compiler_base 0.1.4
A common domain programming language framework.5 versions - Latest release: about 2 months ago - 1.25 thousand downloads total - 1,243 stars on GitHub - 1 maintainer
marigold-macros 0.1.16
Macros for the marigold language.17 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 5.63 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 9.2% on crates.io
6 versions - Latest release: about 2 months ago - 1 dependent package - 3 dependent repositories - 40.7 thousand downloads total - 1,243 stars on GitHub - 1 maintainer
rustc_errors 0.1.2
Reuse rustc_errors for compiler_base6 versions - Latest release: about 2 months ago - 1 dependent package - 3 dependent repositories - 40.7 thousand downloads total - 1,243 stars on GitHub - 1 maintainer
ryan-cli 0.2.3
Ryan: a configuration language for the practical programmer6 versions - Latest release: 8 months ago - 1.73 thousand downloads total - 8 stars on GitHub - 1 maintainer
compiler_base_macros 0.1.1
compiler_base_macros3 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 37.3 thousand downloads total - 1,243 stars on GitHub - 1 maintainer
marigold-impl 0.1.16
Internal logic for the marigold language.16 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 5.24 thousand downloads total - 3 stars on GitHub - 1 maintainer
compiler_base_parallel 0.1.0
A common domain programming language framework.3 versions - Latest release: about 2 months ago - 1 dependent package - 1.11 thousand downloads total - 1,243 stars on GitHub - 1 maintainer
steel-parser 0.4.0
Parser for use within steel2 versions - Latest release: 10 months ago - 2 dependent packages - 2 dependent repositories - 1.56 thousand downloads total - 843 stars on GitHub - 1 maintainer
steel-derive 0.4.0
Derive macros for use within steel2 versions - Latest release: 10 months ago - 2 dependent packages - 1 dependent repositories - 1.6 thousand downloads total - 843 stars on GitHub - 1 maintainer
ryan 0.2.3
Ryan: a configuration language for the practical programmer6 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 2.46 thousand downloads total - 8 stars on GitHub - 1 maintainer
steel-core 0.5.0
Core compiler and VM implementation for steel4 versions - Latest release: 10 months ago - 4 dependent packages - 1 dependent repositories - 1.96 thousand downloads total - 843 stars on GitHub - 1 maintainer
steel-gen 0.2.0
Code generation crates for use within steel1 version - Latest release: 11 months ago - 1 dependent package - 1 dependent repositories - 1.26 thousand downloads total - 843 stars on GitHub - 1 maintainer
magc 0.1.1
The Mag Language Compiler2 versions - Latest release: 7 months ago - 1 dependent package - 696 downloads total - 0 stars on GitHub - 1 maintainer
steel-doc 0.5.0
Document generation for steel4 versions - Latest release: 10 months ago - 1 dependent package - 2 dependent repositories - 1.55 thousand downloads total - 843 stars on GitHub - 1 maintainer
steel-interpreter 0.5.0
Steel repl and command line interface4 versions - Latest release: 10 months ago - 1 dependent package - 1.24 thousand downloads total - 843 stars on GitHub - 1 maintainer
steel-repl 0.5.0
REPL library for steel4 versions - Latest release: 10 months ago - 1 dependent package - 1 dependent repositories - 1.47 thousand downloads total - 843 stars on GitHub - 1 maintainer
diatom-cli 0.2.1
The diatom programming language2 versions - Latest release: over 1 year ago - 619 downloads total - 73 stars on GitHub - 1 maintainer
reishi 0.0.1
Toy programming language written in rust.1 version - Latest release: almost 3 years ago - 434 downloads total - 1 maintainer
air-interpreter-wasm 0.63.0
Distribution of AIR interpreter as .wasm1,222 versions - Latest release: about 2 months ago - 4 dependent repositories - 441 thousand downloads total - 76 stars on GitHub - 4 maintainers
avm-server 0.38.0
Fluence AIR VM43 versions - Latest release: about 2 months ago - 2 dependent packages - 3 dependent repositories - 23.6 thousand downloads total - 76 stars on GitHub - 5 maintainers
Related Keywords
rust
155
language
154
compiler
151
interpreter
84
scripting
54
scripting-language
54
parser
42
cryptography
39
zero-knowledge
37
webassembly
30
repl
29
leo
25
aleo
25
zksnarks
25
functional
24
embedded
22
programming
22
air
19
cli
19
koto
18
wasm
17
lexer
16
fluence
15
transpiler
13
pi-calculus
13
compiler-construction
12
configuration
12
configuration-language
11
type-inference
11
gluon
11
embeddable
11
python
11
graphics-programming
10
infrastructure-as-code
9
kubernetes
9
platform-engineering
9
policy
9
validation
9
record
9
schema
9
shift-left
9
devops
9
cloud-native
9
configuration-management
9
symbolic-math
8
symbolic-computation
8
learning
8
symbolic
8
symboscript
8
erg
8
sdl2
8
raspberry-pi
8
learn-to-code
8
gpio
8
basic
8
dependent-types
7
type-theory
7
cranelift
7
compile-time
7
compile
7
dsl
7
noir-lang
7
functional-programming
7
brainfuck
7
namespacing
7
alias-management
7
contracts
7
racket
7
transducers
7
sdk
7
standard-library
7
std
7
optimization
7
meta-programming
7
high-level
7
high-level-programming
7
vm
7
lalrpop
6
statically-typed
6
wat
6
json
5
zk-snarks
5
ffi
5
yaml
5
logical-programming
5
programming-languages
5
brain
5
hacktoberfest
5
esoteric-programming-language
4
logic-programming
4
formal-specification
4
artificial-intelligence
4
specification-language
4
proof-of-concept
4
formal
4
rendering
4
scripting-engine
4
visual
4
parsing
4
lisp
4