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
alan-runtime 0.1.5
A runtime in Rust to run AGC or Alan Graphcode, alan's bytecode format.6 versions - Latest release: over 3 years ago - 2.83 thousand downloads total - 297 stars on GitHub - 1 maintainer
rant 4.0.0-alpha.33 💰
The Rant procedural templating language34 versions - Latest release: about 2 years ago - 1 dependent repositories - 15.5 thousand downloads total - 190 stars on GitHub - 1 maintainer
pen-ffi 0.10.23
FFI library for Pen programming language140 versions - Latest release: 4 months ago - 2 dependent repositories - 136 thousand downloads total - 442 stars on GitHub - 1 maintainer
pen-ffi-macro 0.5.0
FFI macro library for Pen programming language39 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 81.6 thousand downloads total - 432 stars on GitHub - 1 maintainer
y-lang 0.1.3
Compiler & Interpreter for the (rather new and very experimental) Y programming language.4 versions - Latest release: about 1 year ago - 1.3 thousand downloads total - 12 stars on GitHub - 1 maintainer
metacall-inline 0.2.0
Inline macros for metacall crate.2 versions - Latest release: 12 months ago - 1 dependent package - 1.64 thousand downloads total - 1,511 stars on GitHub - 1 maintainer
metacall 0.4.0
Call NodeJS, TypeScript, Python, C#, Ruby... functions from Rust (a Rust Port for MetaCall).8 versions - Latest release: 12 months ago - 4.4 thousand downloads total - 1,511 stars on GitHub - 1 maintainer
hexo 0.6.2
Tiny binary writer utility, just enough for you17 versions - Latest release: about 2 months ago - 3.62 thousand downloads total - 1 stars on GitHub - 1 maintainer
sino 0.0.2
The Sino Language Demo3 versions - Latest release: 3 months ago - 1.21 thousand downloads total - 1 stars on GitHub - 1 maintainer
chimpanzee 0.2.5
Monkey programming language implementation (interpreter, compiler and formatter), with added feat...7 versions - Latest release: about 1 month ago - 2.23 thousand downloads total - 2 stars on GitHub - 1 maintainer
cluna 1.1.0
Tool to convert Lua code into Clue code Made by MarkosTh091 version - Latest release: 11 months ago - 396 downloads total - 4 stars on GitHub - 1 maintainer
doby 0.0.1 💰
Doby Package/Build Manager2 versions - Latest release: 4 months ago - 603 downloads total - 1 stars on GitHub - 1 maintainer
lambda_mountain 1.12.49 💰
Compiler Backend / Programming Language Scaffolding289 versions - Latest release: 21 days ago - 2 dependent packages - 84 thousand downloads total - 7 stars on GitHub - 1 maintainer
unseemly 0.0.3
A typed macro language4 versions - Latest release: over 2 years ago - 1.75 thousand downloads total - 129 stars on GitHub - 1 maintainer
koto_memory 0.14.0
Memory management utilities used by the Koto programming language3 versions - Latest release: about 2 months ago - 3 dependent packages - 2.91 thousand downloads total - 480 stars on GitHub - 1 maintainer
skiff 0.4.5
An immutability-first, functional scripting language with a friendly syntax and compiler/interpre...5 versions - Latest release: almost 3 years ago - 1.95 thousand downloads total - 31 stars on GitHub - 1 maintainer
koto_lexer 0.14.0
The lexer used by the Koto programming language16 versions - Latest release: about 2 months ago - 2 dependent packages - 11.6 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_parser 0.14.0
The parser used by the Koto programming language16 versions - Latest release: about 2 months ago - 3 dependent packages - 1 dependent repositories - 11.1 thousand downloads total - 480 stars on GitHub - 1 maintainer
garble_lang 0.2.0
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits10 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 6.73 thousand downloads total - 36 stars on GitHub - 1 maintainer
turbofuro_runtime 0.1.5
Runtime for Turbofuro visual programming language7 versions - Latest release: about 2 months ago - 1 dependent package - 1.94 thousand downloads total - 3 stars on GitHub - 1 maintainer
turbofuro_worker 0.1.10
Worker executable for Turbofuro8 versions - Latest release: about 2 months ago - 2.14 thousand downloads total - 3 stars on GitHub - 1 maintainer
tel 0.1.5
Turbofuro Expression Language7 versions - Latest release: about 2 months ago - 1 dependent package - 1.94 thousand downloads total - 3 stars on GitHub - 1 maintainer
koto_tempfile 0.14.0
A Koto library for working with temporary files16 versions - Latest release: about 2 months ago - 1 dependent package - 6.73 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_toml 0.14.0
A Koto library for working with TOML data16 versions - Latest release: about 2 months ago - 1 dependent package - 6.77 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_regex 0.14.0
A Koto library for working with regular expressions2 versions - Latest release: about 2 months ago - 1 dependent package - 591 downloads total - 480 stars on GitHub - 1 maintainer
koto_test_utils 0.14.0
Testing utilities for the Koto programming language1 version - Latest release: about 2 months ago - 275 downloads total - 480 stars on GitHub - 1 maintainer
koto_cli 0.14.0
A CLI and script runner for the Koto programming language16 versions - Latest release: about 2 months ago - 5.93 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_serialize 0.14.0
Serde serialization support for the Koto programming language16 versions - Latest release: about 2 months ago - 3 dependent packages - 8.58 thousand downloads total - 379 stars on GitHub - 1 maintainer
koto_color 0.14.0
A Koto library containing simple color utilities3 versions - Latest release: about 2 months ago - 2 dependent packages - 1.09 thousand downloads total - 480 stars on GitHub - 1 maintainer
cabin-language 0.0.1
A dead simple, highly performant, and extremely safe programming language.1 version - Latest release: 25 days ago - 237 downloads total - 1 stars on GitHub - 1 maintainer
koto_geometry 0.14.0
A Koto library with basic geometry types and operations3 versions - Latest release: about 2 months ago - 3 dependent packages - 1 dependent repositories - 1.21 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_derive 0.14.0
Macros for working with the Koto programming language2 versions - Latest release: about 2 months ago - 2 dependent packages - 789 downloads total - 480 stars on GitHub - 1 maintainer
koto 0.14.0
A simple, expressive, embeddable programming language16 versions - Latest release: about 2 months ago - 3 dependent packages - 7.49 thousand downloads total - 480 stars on GitHub - 1 maintainer
clue 3.4.7
C/Rust like programming language that compiles into Lua code22 versions - Latest release: 2 months ago - 6.97 thousand downloads total - 334 stars on GitHub - 1 maintainer
clue_core 3.4.7
C/Rust like programming language that compiles into Lua code15 versions - Latest release: 2 months ago - 1 dependent package - 5.19 thousand downloads total - 334 stars on GitHub - 1 maintainer
koto_runtime 0.14.0
The runtime used by the Koto programming language16 versions - Latest release: about 2 months ago - 12 dependent packages - 1 dependent repositories - 10.3 thousand downloads total - 480 stars on GitHub - 1 maintainer
dorian 0.2.1
The intuitive LLVM abstraction written in Rust.4 versions - Latest release: almost 2 years ago - 1.45 thousand downloads total - 21 stars on GitHub - 1 maintainer
koto_yaml 0.14.0
A Koto library for working with YAML data7 versions - Latest release: about 2 months ago - 2 dependent packages - 3.78 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_random 0.14.0
A Koto library for working with random numbers16 versions - Latest release: about 2 months ago - 2 dependent packages - 6.51 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_bytecode 0.14.0
The bytecode compiler used by the Koto programming language16 versions - Latest release: about 2 months ago - 3 dependent packages - 1 dependent repositories - 10.6 thousand downloads total - 480 stars on GitHub - 1 maintainer
koto_json 0.14.0
A Koto library for working with JSON data16 versions - Latest release: about 2 months ago - 2 dependent packages - 7.36 thousand downloads total - 480 stars on GitHub - 1 maintainer
ftc 0.1.5 💰
A modeling and rendering programming language utilizing SDFs.6 versions - Latest release: about 1 year ago - 1.99 thousand downloads total - 47 stars on GitHub - 1 maintainer
somen-language 0.1.0
Utilities of the somen parser combinator for languages.1 version - Latest release: almost 2 years ago - 1 dependent repositories - 492 downloads total - 0 stars on GitHub - 1 maintainer
symboscript-analyzer 0.5.0
SymboScript analyzer2 versions - Latest release: 5 months ago - 681 downloads total - 6 stars on GitHub - 1 maintainer
Cecile 0.1.7
Cecile Programming Language that is designed to be simple, fast17 versions - Latest release: 4 months ago - 5.03 thousand downloads total - 5 stars on GitHub - 1 maintainer
stainless_script 0.1.2
Visual node-based programming language3 versions - Latest release: about 1 year ago - 1.1 thousand downloads total - 5 stars on GitHub - 1 maintainer
flycatcherc-clif 0.1.1
A Cranelift backend for Flycatcher's compiler.1 version - Latest release: almost 3 years ago - 1 dependent package - 956 downloads total - 4 stars on GitHub - 1 maintainer
dialogical 0.10.0
P/E/T/S 2037 Dialogue Tree Compiler20 versions - Latest release: 4 months ago - 5.77 thousand downloads total - 2 stars on GitHub - 1 maintainer
forgedthoughts 0.1.5 💰
A 3D modeling and rendering programming language utilizing SDFs.6 versions - Latest release: about 1 year ago - 1 dependent package - 2.08 thousand downloads total - 47 stars on GitHub - 1 maintainer
mijit 0.2.4
Experimental JIT compiler generator14 versions - Latest release: about 1 year ago - 4.74 thousand downloads total - 23 stars on GitHub - 1 maintainer
machinecode 1.0.1 💰
Execute machine code in hex form2 versions - Latest release: 10 months ago - 657 downloads total - 2 stars on GitHub - 1 maintainer
laspa 0.3.0
A simple Lisp-like language built with Rust4 versions - Latest release: 10 months ago - 1.18 thousand downloads total - 0 stars on GitHub - 1 maintainer
airlang 0.2.0
The Air Programming Language16 versions - Latest release: about 1 month ago - 4 dependent packages - 5.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_bin 0.2.0
The Air Programming Language14 versions - Latest release: about 1 month ago - 4.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language7 versions - Latest release: about 1 month ago - 3 dependent packages - 2.14 thousand downloads total - 7 stars on GitHub - 1 maintainer
passerine 0.9.3
A small extensible functional scripting language designed for concise expression with little code.11 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 5.37 thousand downloads total - 1,029 stars on GitHub - 2 maintainers
gram 0.0.4
A programming language for distributed systems.5 versions - Latest release: 12 months ago - 1.97 thousand downloads total - 32 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
39 versions - Latest release: 2 months ago - 13 dependent packages - 3 dependent repositories - 17.9 thousand downloads total - 4,044 stars on GitHub - 3 maintainers
leo-ast 1.11.0
Abstract syntax tree (AST) for the Leo programming language39 versions - Latest release: 2 months ago - 13 dependent packages - 3 dependent repositories - 17.9 thousand downloads total - 4,044 stars on GitHub - 3 maintainers
leo-test-framework 1.11.0
The testing framework for the Leo programming language24 versions - Latest release: 2 months ago - 2 dependent packages - 2 dependent repositories - 7.5 thousand downloads total - 4,044 stars on GitHub - 3 maintainers
Top 8.1% on crates.io
20 versions - Latest release: 2 months ago - 10 dependent packages - 3 dependent repositories - 9.59 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-errors 1.11.0
Errors for the Leo programming language20 versions - Latest release: 2 months ago - 10 dependent packages - 3 dependent repositories - 9.59 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
tree-sitter-icelang 0.1.6
icelang grammar for the tree-sitter parsing library7 versions - Latest release: 10 months ago - 2.04 thousand downloads total - 0 stars on GitHub - 1 maintainer
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: almost 6 years ago - 814 downloads total - 607 stars on GitHub - 1 maintainer
mech 0.0.5
Main crate for the Mech programming language. Provides a REPL and hosted editor.5 versions - Latest release: about 4 years ago - 2.79 thousand downloads total - 200 stars on GitHub - 1 maintainer
air-interpreter-signatures 0.1.7
AIR interpreter signatures util module6 versions - Latest release: 5 months ago - 4 dependent packages - 3.4 thousand downloads total - 76 stars on GitHub - 1 maintainer
air-log-targets 0.1.0
Definition of global consts used for logging1 version - Latest release: about 1 year ago - 2 dependent packages - 1.91 thousand downloads total - 76 stars on GitHub - 1 maintainer
mers_lib 0.8.3
library to use the mers language in other projects18 versions - Latest release: about 1 month ago - 1 dependent package - 5.83 thousand downloads total - 1 stars on GitHub - 1 maintainer
mers 0.8.3
dynamically typed but type-checked programming language16 versions - Latest release: about 1 month ago - 5.08 thousand downloads total - 1 stars on GitHub - 1 maintainer
brainfuck-exe 0.2.4
A brainfuck interpreter implemented in rust12 versions - Latest release: over 1 year ago - 3.63 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
41 versions - Latest release: 9 months ago - 9 dependent packages - 4 dependent repositories - 36.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon 0.18.2
A static, type inferred programming language for application embedding41 versions - Latest release: 9 months ago - 9 dependent packages - 4 dependent repositories - 36.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 6.7% on crates.io
42 versions - Latest release: 9 months ago - 6 dependent packages - 3 dependent repositories - 40.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_base 0.18.2
Basic type definitions and functions for the gluon programming language42 versions - Latest release: 9 months ago - 6 dependent packages - 3 dependent repositories - 40.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
26 versions - Latest release: 9 months ago - 5 dependent packages - 3 dependent repositories - 25.7 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_codegen 0.18.2
Code generation macros for the gluon programming language26 versions - Latest release: 9 months ago - 5 dependent packages - 3 dependent repositories - 25.7 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_c-api 0.18.2
C-api for gluon, a static, type inferred programming language for application embedding33 versions - Latest release: 9 months ago - 18.6 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_doc 0.18.2
The documentation generator for the gluon programming language23 versions - Latest release: 9 months ago - 1 dependent package - 2 dependent repositories - 14.7 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
30 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 21.2 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_completion 0.18.2
Auto-completion for the gluon programming language30 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 21.2 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
30 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 26.7 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_format 0.18.2
Code formatting for the gluon programming language30 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 26.7 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 6.6% on crates.io
40 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 92.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_vm 0.18.2
The virtual machine for executing the gluon programming language40 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 92.9 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
40 versions - Latest release: 9 months ago - 5 dependent packages - 3 dependent repositories - 37.8 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_parser 0.18.2
The parser for the gluon programming language40 versions - Latest release: 9 months ago - 5 dependent packages - 3 dependent repositories - 37.8 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
41 versions - Latest release: 9 months ago - 3 dependent packages - 3 dependent repositories - 93.2 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_check 0.18.2
The typechecker for the gluon programming language41 versions - Latest release: 9 months ago - 3 dependent packages - 3 dependent repositories - 93.2 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
gluon_repl 0.18.2
REPL for gluon. A static, type inferred programming language for application embedding31 versions - Latest release: 9 months ago - 69.2 thousand downloads total - 3,115 stars on GitHub - 1 maintainer
Top 8.8% on crates.io
20 versions - Latest release: 2 months ago - 10 dependent packages - 1 dependent repositories - 9.93 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-span 1.11.0
Span handling for the Leo programming language20 versions - Latest release: 2 months ago - 10 dependent packages - 1 dependent repositories - 9.93 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 8.1% on crates.io
24 versions - Latest release: 2 months ago - 5 dependent packages - 3 dependent repositories - 10.8 thousand downloads total - 4,044 stars on GitHub - 3 maintainers
leo-parser 1.11.0
Parser for the Leo programming language24 versions - Latest release: 2 months ago - 5 dependent packages - 3 dependent repositories - 10.8 thousand downloads total - 4,044 stars on GitHub - 3 maintainers
teolang 0.3.4
A programming language design to be easy to learn for kids4 versions - Latest release: 11 months ago - 1.26 thousand downloads total - 2 stars on GitHub - 1 maintainer
blisp_embedded 0.1.1 💰
embedded macro for BLisp2 versions - Latest release: about 1 year ago - 1 dependent package - 1.68 thousand downloads total - 187 stars on GitHub - 1 maintainer
fennec-server 0.1.8
Fennec Programming Language3 versions - Latest release: 7 months ago - 1 dependent package - 1.07 thousand downloads total - 3 stars on GitHub - 1 maintainer
fennec-core 0.1.8
Fennec Programming Language4 versions - Latest release: 7 months ago - 1 dependent package - 1.37 thousand downloads total - 3 stars on GitHub - 1 maintainer
blisp-repl 0.4.0 💰
REPL of BLisp, a lisp like statically typed programing language for no_std.4 versions - Latest release: over 1 year ago - 1.59 thousand downloads total - 187 stars on GitHub - 1 maintainer
semantic-analyzer 0.4.1
Semantic analyzer library for compilers written in Rust for semantic analysis of programming lang...16 versions - Latest release: 2 months ago - 4.75 thousand downloads total - 32 stars on GitHub - 1 maintainer
air-interpreter-sede 0.1.0
AIR interpreter serialization and deserialization util module1 version - Latest release: 5 months ago - 7 dependent packages - 3.87 thousand downloads total - 76 stars on GitHub - 1 maintainer
fennec-vfs 0.1.8
Fennec Programming Language2 versions - Latest release: 7 months ago - 1 dependent package - 824 downloads total - 3 stars on GitHub - 1 maintainer
l1_ir 💰
L1 Intermediate Representation52 versions - Latest release: about 1 month ago - 2 dependent packages - 1 dependent repositories - 16.3 thousand downloads total - 7 stars on GitHub - 1 maintainer
fennec-parser 0.1.8
Fennec Programming Language7 versions - Latest release: 7 months ago - 1 dependent package - 2.02 thousand downloads total - 3 stars on GitHub - 1 maintainer
fennec 0.1.8
Fennec Programming Language8 versions - Latest release: 7 months ago - 2.36 thousand downloads total - 3 stars on GitHub - 1 maintainer
blisp 0.4.5 💰
A lisp like statically typed programing language for no_std.18 versions - Latest release: 12 months ago - 1 dependent package - 7.42 thousand downloads total - 183 stars on GitHub - 1 maintainer
fennec-common 0.1.8
Fennec Programming Language3 versions - Latest release: 7 months ago - 4 dependent packages - 1.47 thousand downloads total - 3 stars on GitHub - 1 maintainer
air-interpreter-cid 0.9.0
AIR interpreter CID util module8 versions - Latest release: 5 months ago - 6 dependent packages - 1 dependent repositories - 4.6 thousand downloads total - 76 stars on GitHub - 5 maintainers
wain-syntax-binary 0.1.5
WebAssembly binary format parser for wain project6 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 3.53 thousand downloads total - 413 stars on GitHub - 1 maintainer
wain-validate 0.1.5
WebAssembly syntax tree validator for wain project6 versions - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 3.86 thousand downloads total - 413 stars on GitHub - 1 maintainer
wain-exec 0.3.1
WebAssembly syntax tree executor for wain project8 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 4.26 thousand downloads total - 413 stars on GitHub - 1 maintainer
wain-ast 0.2.2
WebAssembly abstract syntax tree definition used by both binary format and text format for wain p...8 versions - Latest release: 7 months ago - 5 dependent packages - 1 dependent repositories - 6.08 thousand downloads total - 413 stars on GitHub - 1 maintainer
brainease_lexer 1.0.8 💰
A brainf*ck-style programming language, but readable8 versions - Latest release: 12 months ago - 3 dependent packages - 4.01 thousand downloads total - 14 stars on GitHub - 1 maintainer
Related Keywords
rust
155
language
154
compiler
151
interpreter
84
scripting-language
54
scripting
54
parser
42
cryptography
39
zero-knowledge
37
webassembly
30
repl
29
leo
25
aleo
25
zksnarks
25
functional
24
programming
22
embedded
22
air
19
cli
19
koto
18
wasm
17
lexer
16
fluence
15
pi-calculus
13
transpiler
13
configuration
12
compiler-construction
12
configuration-language
11
embeddable
11
gluon
11
python
11
type-inference
11
graphics-programming
10
configuration-management
9
record
9
policy
9
schema
9
platform-engineering
9
shift-left
9
cloud-native
9
validation
9
kubernetes
9
infrastructure-as-code
9
devops
9
sdl2
8
symbolic
8
symboscript
8
symbolic-computation
8
symbolic-math
8
raspberry-pi
8
learning
8
basic
8
gpio
8
erg
8
learn-to-code
8
brainfuck
7
namespacing
7
contracts
7
type-theory
7
alias-management
7
dsl
7
vm
7
std
7
compile
7
compile-time
7
standard-library
7
dependent-types
7
cranelift
7
high-level
7
high-level-programming
7
transducers
7
meta-programming
7
optimization
7
sdk
7
racket
7
functional-programming
7
noir-lang
7
wat
6
lalrpop
6
statically-typed
6
zk-snarks
5
brain
5
yaml
5
hacktoberfest
5
ffi
5
json
5
logical-programming
5
programming-languages
5
uzbek
4
lisp
4
logic
4
specification
4
formal
4
parsing
4
artificial-intelligence
4
formal-specification
4
scripting-engine
4
logic-programming
4
async
4
proof-of-concept
4