crates.io "programming-language" keyword
View the packages on the crates.io package registry that are tagged with the "programming-language" keyword.
hexo-io 0.7.7
Hexo's IO utility2 versions - Latest release: over 1 year ago - 2.53 thousand downloads total - 1 stars on GitHub - 1 maintainer
flycatcher-parser 0.1.1
The Flycatcher programming language's parser.2 versions - Latest release: about 4 years ago - 2 dependent packages - 4.44 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
41 versions - Latest release: about 2 years ago - 9 dependent packages - 4 dependent repositories - 75.9 thousand downloads total - 3,334 stars on GitHub - 1 maintainer
gluon 0.18.2
A static, type inferred programming language for application embedding41 versions - Latest release: about 2 years ago - 9 dependent packages - 4 dependent repositories - 75.9 thousand downloads total - 3,334 stars on GitHub - 1 maintainer
voile-util 0.2.2
Utilities extracted from Voile language's type-checker15 versions - Latest release: almost 6 years ago - 2 dependent packages - 50.1 thousand downloads total - 99 stars on GitHub - 1 maintainer
orchidlang 0.3.0 💰
An embeddable pure functional scripting language3 versions - Latest release: over 1 year ago - 4.08 thousand downloads total - 10 stars on GitHub - 1 maintainer
leo-asg-passes 1.5.3
The Leo programming language6 versions - Latest release: over 4 years ago - 1 dependent package - 2 dependent repositories - 8.78 thousand downloads total - 4,799 stars on GitHub - 2 maintainers
garden-lang-parser 0.19.0
A live programming language.6 versions - Latest release: 7 months ago - 5.98 thousand downloads total - 48 stars on GitHub - 1 maintainer
csml_interpreter 1.11.2
The CSML Interpreter is the official interpreter for the CSML programming language, a DSL designe...62 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 77.2 thousand downloads total - 715 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: about 2 years ago - 95.8 thousand downloads total - 3,334 stars on GitHub - 1 maintainer
hebi_derive 0.3.1
Derive macros for Hebi4 versions - Latest release: over 2 years ago - 1 dependent package - 5.27 thousand downloads total - 21 stars on GitHub - 1 maintainer
r2rust-core 0.1.0
An interpreter inspired by R, implemented in Rust with a modular design.1 version - Latest release: 12 months ago - 1.02 thousand downloads total - 0 stars on GitHub - 1 maintainer
garden-lang 0.21.0
A live programming language.16 versions - Latest release: 2 months ago - 16.1 thousand downloads total - 48 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: over 2 years ago - 5.06 thousand downloads total - 11 stars on GitHub - 1 maintainer
stk 0.2.1
The simple stack-based virtual machine.2 versions - Latest release: about 5 years ago - 4 dependent packages - 4.42 thousand downloads total - 2,042 stars on GitHub - 1 maintainer
marigold-macros 0.1.16
Macros for the marigold language.17 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 21 thousand downloads total - 3 stars on GitHub - 1 maintainer
leo-grammar 1.0.7
AST generated by pest from the Leo grammar rules9 versions - Latest release: almost 5 years ago - 6 dependent packages - 11.4 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
annotate_snippets_builder
Builder pattern abstraction for the annotate-snippets crate.1 version - Latest release: 2 days ago - 1.39 thousand downloads total - 1 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: about 2 years ago - 47.3 thousand downloads total - 3,348 stars on GitHub - 1 maintainer
osmon 0.7.0
A programming language for Uzbeks5 versions - Latest release: over 2 years ago - 6.07 thousand downloads total - 3 stars on GitHub - 1 maintainer
osmojit 0.4.2
GCCJIT exposed API for Osmon programming language4 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 5.79 thousand downloads total - 0 stars on GitHub - 1 maintainer
enalang_ir 0.6.1
Exhaustingly Notorious Algorithms - intermediate representation definition8 versions - Latest release: almost 2 years ago - 7 dependent packages - 12.4 thousand downloads total - 2 stars on GitHub - 1 maintainer
leo-liner
Linter of the Leo programming language2 versions - Latest release: 3 days ago - 2.45 thousand downloads total - 4,797 stars on GitHub - 2 maintainers
Top 6.6% on crates.io
40 versions - Latest release: about 2 years ago - 4 dependent packages - 3 dependent repositories - 133 thousand downloads total - 3,348 stars on GitHub - 1 maintainer
gluon_vm 0.18.2
The virtual machine for executing the gluon programming language40 versions - Latest release: about 2 years ago - 4 dependent packages - 3 dependent repositories - 133 thousand downloads total - 3,348 stars on GitHub - 1 maintainer
paanini-lang 0.1.0
Panini - Sanskrit programming language with Python-like syntax1 version - Latest release: 4 days ago - 0 downloads total - 1 maintainer
airlang 0.20.0
The Air Programming Language33 versions - Latest release: 4 days ago - 4 dependent packages - 35.3 thousand downloads total - 13 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language1 version - Latest release: over 1 year ago - 1.68 thousand downloads total - 13 stars on GitHub - 1 maintainer
airlang_ext 0.20.0
The Extension of the Air Programming Language24 versions - Latest release: 4 days ago - 3 dependent packages - 22.8 thousand downloads total - 13 stars on GitHub - 1 maintainer
airlang_bin 0.20.0
The Air Programming Language31 versions - Latest release: 4 days ago - 31.1 thousand downloads total - 13 stars on GitHub - 1 maintainer
ocypode-lang 0.2.3 💰
A dynamic programming language written in Rust6 versions - Latest release: about 2 years ago - 6.99 thousand downloads total - 5 stars on GitHub - 1 maintainer
blisp_embedded 0.1.1 💰
embedded macro for BLisp2 versions - Latest release: over 2 years ago - 1 dependent package - 6.27 thousand downloads total - 230 stars on GitHub - 1 maintainer
blisp 0.4.6 💰
A lisp like statically typed programing language for no_std.19 versions - Latest release: 9 months ago - 1 dependent package - 27.2 thousand downloads total - 230 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 2 years ago - 5.57 thousand downloads total - 230 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
30 versions - Latest release: about 2 years ago - 4 dependent packages - 3 dependent repositories - 56.9 thousand downloads total - 3,344 stars on GitHub - 1 maintainer
gluon_format 0.18.2
Code formatting for the gluon programming language30 versions - Latest release: about 2 years ago - 4 dependent packages - 3 dependent repositories - 56.9 thousand downloads total - 3,344 stars on GitHub - 1 maintainer
unseemly 0.0.3
A typed macro language4 versions - Latest release: almost 4 years ago - 5.31 thousand downloads total - 129 stars on GitHub - 1 maintainer
bellronos 0.0.1 💰
Bellande Operating System Programming Language written in Rust1 version - Latest release: about 1 year ago - 1.13 thousand downloads total - 0 stars on GitHub - 1 maintainer
garble_lang 0.6.1 💰
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits14 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 22.1 thousand downloads total - 52 stars on GitHub - 1 maintainer
leo-interpreter 3.3.1
Interpreter for the Leo programming language13 versions - Latest release: 5 days ago - 5.63 thousand downloads total - 4,799 stars on GitHub - 1 maintainer
Top 8.8% on crates.io
52 versions - Latest release: 5 days ago - 2 dependent packages - 3 dependent repositories - 54.6 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-compiler 3.3.1
Compiler for Leo programming language52 versions - Latest release: 5 days ago - 2 dependent packages - 3 dependent repositories - 54.6 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-disassembler 3.3.1
A disassembler for the Leo programming language17 versions - Latest release: 5 days ago - 1 dependent package - 10.5 thousand downloads total - 4,799 stars on GitHub - 1 maintainer
leo-parser-lossless 3.3.1
Lossless syntax tree parser for the Leo programming language2 versions - Latest release: 5 days ago - 107 downloads total - 4,797 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
54 versions - Latest release: 5 days ago - 13 dependent packages - 3 dependent repositories - 61.8 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-ast 3.3.1
Abstract syntax tree (AST) for the Leo programming language54 versions - Latest release: 5 days ago - 13 dependent packages - 3 dependent repositories - 61.8 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
lambda_mountain 1.16.40 💰
Typed Macro Assembler (backed by Coq proofs-of-correctness)415 versions - Latest release: about 1 year ago - 2 dependent packages - 535 thousand downloads total - 7 stars on GitHub - 1 maintainer
marigold-grammar 0.1.16
Grammar for the marigold language.16 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 21.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
brainfuck-exe 0.2.4
A brainfuck interpreter implemented in rust12 versions - Latest release: over 2 years ago - 18.9 thousand downloads total - 5 stars on GitHub - 1 maintainer
frut_interp 0.0.3
A command-line interpreter for the Frut programming language2 versions - Latest release: 5 days ago - 185 downloads total - 1 stars on GitHub - 1 maintainer
metacall-inline 0.2.0
Inline macros for metacall crate.2 versions - Latest release: over 2 years ago - 1 dependent package - 4.8 thousand downloads total - 1,707 stars on GitHub - 1 maintainer
metacall 0.5.2
Call NodeJS, TypeScript, Python, C#, Ruby... functions from Rust (a Rust Port for MetaCall).15 versions - Latest release: about 2 months ago - 16.3 thousand downloads total - 1,707 stars on GitHub - 1 maintainer
metacall-sys 0.1.2
Crate for finding metacall library in the system.3 versions - Latest release: about 2 months ago - 1.17 thousand downloads total - 1,707 stars on GitHub - 1 maintainer
crisp-runtime 0.1.0 💰
A runtime for the lisp-like programming language Crisp which (one day!) integrates seamlessly wit...3 versions - Latest release: 2 months ago - 1.11 thousand downloads total - 0 stars on GitHub - 1 maintainer
mers 0.9.26
dynamically typed but type-checked programming language53 versions - Latest release: 5 days ago - 64.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
mers_lib 0.9.26
library to use the mers language in other projects66 versions - Latest release: 5 days ago - 1 dependent package - 64.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: almost 3 years ago - 1.57 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 8.1% on crates.io
38 versions - Latest release: 6 days ago - 5 dependent packages - 3 dependent repositories - 40.6 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-parser 3.3.0
Translating from the lossless syntax tree to the AST for the Leo language language38 versions - Latest release: 6 days ago - 5 dependent packages - 3 dependent repositories - 40.6 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
Top 8.8% on crates.io
35 versions - Latest release: 6 days ago - 10 dependent packages - 1 dependent repositories - 38.6 thousand downloads total - 4,798 stars on GitHub - 2 maintainers
leo-span 3.3.0
Span handling for the Leo programming language35 versions - Latest release: 6 days ago - 10 dependent packages - 1 dependent repositories - 38.6 thousand downloads total - 4,798 stars on GitHub - 2 maintainers
leo-passes 3.3.0
Compiler passes for the Leo programming language32 versions - Latest release: 6 days ago - 2 dependent packages - 1 dependent repositories - 31.1 thousand downloads total - 4,798 stars on GitHub - 2 maintainers
leo-retriever 2.5.0
A retriever for the Leo programming language6 versions - Latest release: 7 months ago - 2 dependent packages - 6.44 thousand downloads total - 4,798 stars on GitHub - 1 maintainer
leo-lang 3.3.0
The Leo programming language51 versions - Latest release: 6 days ago - 53.8 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-test-framework 3.3.0
The testing framework for the Leo programming language39 versions - Latest release: 6 days ago - 2 dependent packages - 2 dependent repositories - 37.3 thousand downloads total - 4,799 stars on GitHub - 3 maintainers
Top 8.1% on crates.io
35 versions - Latest release: 6 days ago - 10 dependent packages - 3 dependent repositories - 38.8 thousand downloads total - 4,799 stars on GitHub - 2 maintainers
leo-errors 3.3.0
Errors for the Leo programming language35 versions - Latest release: 6 days ago - 10 dependent packages - 3 dependent repositories - 38.8 thousand downloads total - 4,799 stars on GitHub - 2 maintainers
Top 8.8% on crates.io
52 versions - Latest release: 6 days ago - 2 dependent packages - 3 dependent repositories - 56.5 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
leo-package 3.3.0
Package parser for the Leo programming language52 versions - Latest release: 6 days ago - 2 dependent packages - 3 dependent repositories - 56.5 thousand downloads total - 4,798 stars on GitHub - 3 maintainers
Top 5.9% on crates.io
57 versions - Latest release: about 2 months ago - 8 dependent packages - 25 dependent repositories - 1.27 million downloads total - 554 stars on GitHub - 4 maintainers
cairo-vm 2.5.0
Blazing fast Cairo interpreter57 versions - Latest release: about 2 months ago - 8 dependent packages - 25 dependent repositories - 1.27 million downloads total - 554 stars on GitHub - 4 maintainers
symboscript-formatter 0.6.16
SymboScript formatter16 versions - Latest release: almost 2 years ago - 18 thousand downloads total - 6 stars on GitHub - 1 maintainer
acvm_blackbox_solver 0.46.0
A solver for the blackbox functions found in ACIR and Brillig24 versions - Latest release: over 1 year ago - 4 dependent packages - 1 dependent repositories - 49.1 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
Top 8.0% on crates.io
71 versions - Latest release: over 1 year ago - 6 dependent packages - 2 dependent repositories - 131 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
acir_field 0.46.0
The field implementation being used by ACIR.71 versions - Latest release: over 1 year ago - 6 dependent packages - 2 dependent repositories - 131 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
brillig_vm 0.46.0
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM33 versions - Latest release: over 1 year ago - 2 dependent packages - 2 dependent repositories - 59.9 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
brillig 0.46.0
Brillig is the bytecode ACIR uses for non-determinism.34 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 50.4 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
acir 0.46.0
ACIR is the IR that the VM processes, it is analogous to LLVM IR57 versions - Latest release: over 1 year ago - 6 dependent packages - 2 dependent repositories - 121 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
bn254_blackbox_solver 0.46.0
Solvers for black box functions which are specific for the bn254 curve5 versions - Latest release: over 1 year ago - 6.7 thousand downloads total - 1,206 stars on GitHub - 2 maintainers
l1_ir 💰
L1 Intermediate Representation52 versions - Latest release: 6 days ago - 2 dependent packages - 1 dependent repositories - 62.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
tr-lang 0.4.0
A programming language made to bring syntax closer to Turkish10 versions - Latest release: over 3 years ago - 11.9 thousand downloads total - 10 stars on GitHub - 1 maintainer
flycatcher 0.1.1
The Flycatcher programming language.2 versions - Latest release: about 4 years ago - 2.92 thousand downloads total - 4 stars on GitHub - 1 maintainer
acvm 0.46.0
The virtual machine that processes ACIR given a backend/proof system.50 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 107 thousand downloads total - 879 stars on GitHub - 2 maintainers
mimium-language-server 3.1.0
Language server of mimium for IDE support6 versions - Latest release: 7 days ago - 1.35 thousand downloads total - 39 stars on GitHub - 1 maintainer
mimium-bintools 3.1.0
binary executable packages of mimium languages.6 versions - Latest release: 7 days ago - 1.31 thousand downloads total - 39 stars on GitHub - 1 maintainer
mimium-cli 3.1.0
mimium(minimal-musical-medium) an infrastructural programming language for sound and music. mimiu...18 versions - Latest release: 7 days ago - 10.7 thousand downloads total - 39 stars on GitHub - 1 maintainer
mimium-fmt 3.1.0
Pretty printing module for mimium6 versions - Latest release: 7 days ago - 1.36 thousand downloads total - 39 stars on GitHub - 1 maintainer
solar-config 0.1.8
Solar compiler configuration10 versions - Latest release: about 1 month ago - 249 thousand downloads total - 475 stars on GitHub - 3 maintainers
solar-ast 0.1.8
Solidity and Yul AST type and visitor trait definitions10 versions - Latest release: about 1 month ago - 249 thousand downloads total - 475 stars on GitHub - 3 maintainers
solar-data-structures 0.1.8
Common data structures and utilities for the Solar compiler10 versions - Latest release: about 1 month ago - 249 thousand downloads total - 475 stars on GitHub - 3 maintainers
solar-compiler 0.1.8
Blazingly fast Solidity compiler10 versions - Latest release: about 1 month ago - 58.9 thousand downloads total - 475 stars on GitHub - 3 maintainers
solar-interface 0.1.8
Source positions, diagnostics, and related helper functions10 versions - Latest release: about 1 month ago - 249 thousand downloads total - 475 stars on GitHub - 2 maintainers
solar-parse 0.1.8
Solidity and Yul lexer and parser10 versions - Latest release: about 1 month ago - 248 thousand downloads total - 475 stars on GitHub - 2 maintainers
solar-sema 0.1.8
Solidity and Yul semantic analysis10 versions - Latest release: about 1 month ago - 153 thousand downloads total - 475 stars on GitHub - 2 maintainers
solar-cli 0.1.8
Solar compiler CLI definitions, utils, and driver10 versions - Latest release: about 1 month ago - 8.58 thousand downloads total - 475 stars on GitHub - 3 maintainers
solar-macros 0.1.8
Internal Solar compiler macros10 versions - Latest release: about 1 month ago - 249 thousand downloads total - 475 stars on GitHub - 2 maintainers
onlang 0.6.0
A programming language running on json or yaml8 versions - Latest release: about 3 years ago - 10 thousand downloads total - 12 stars on GitHub - 1 maintainer
onla
A programming language running on json or yaml1 version - Latest release: 7 days ago - 1.29 thousand downloads total - 12 stars on GitHub - 1 maintainer
erg_proc_macros 0.6.53 💰
proc macros for Erg105 versions - Latest release: 3 months ago - 3 dependent packages - 121 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
Top 9.3% on crates.io
255 versions - Latest release: 3 months ago - 4 dependent packages - 1 dependent repositories - 317 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg_parser 0.6.53 💰
The Erg parser255 versions - Latest release: 3 months ago - 4 dependent packages - 1 dependent repositories - 317 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
Top 7.6% on crates.io
257 versions - Latest release: 3 months ago - 9 dependent packages - 2 dependent repositories - 321 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg_common 0.6.53 💰
A common components library of Erg257 versions - Latest release: 3 months ago - 9 dependent packages - 2 dependent repositories - 321 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
els 0.1.65 💰
An Erg compiler frontend for IDEs, implements LSP.213 versions - Latest release: 3 months ago - 2 dependent packages - 281 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg_linter 0.6.53 💰
the Erg linter71 versions - Latest release: 3 months ago - 2 dependent packages - 63.4 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
255 versions - Latest release: 3 months ago - 5 dependent packages - 2 dependent repositories - 328 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg_compiler 0.6.53 💰
Centimetre: the Erg compiler255 versions - Latest release: 3 months ago - 5 dependent packages - 2 dependent repositories - 328 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg 0.6.53 💰
The Erg programming language241 versions - Latest release: 3 months ago - 359 thousand downloads total - 2,831 stars on GitHub - 1 maintainer
erg_type 0.5.8 💰
APIs for Erg types31 versions - Latest release: about 3 years ago - 3 dependent packages - 1 dependent repositories - 36.4 thousand downloads total - 2,594 stars on GitHub - 1 maintainer
hebi_span 0.0.1
Spans for Hebi1 version - Latest release: over 2 years ago - 3 dependent packages - 2.44 thousand downloads total - 21 stars on GitHub - 1 maintainer
generic-lang 2.1.0
A Lox based programming language9 versions - Latest release: about 2 months ago - 5.13 thousand downloads total - 1 stars on GitHub - 1 maintainer
hebi_diag 0.2.0
Diagnostics for Hebi2 versions - Latest release: over 2 years ago - 2 dependent packages - 3.23 thousand downloads total - 21 stars on GitHub - 1 maintainer
lamina 0.0.6
High-performance compiler backend for Lamina Intermediate Representation6 versions - Latest release: 7 days ago - 1.46 thousand downloads total - 36 stars on GitHub - 1 maintainer
steel-language-server 0.7.0 💰
Steel language server1 version - Latest release: 4 months ago - 505 downloads total - 2,027 stars on GitHub - 1 maintainer
Related Keywords
compiler
185
rust
176
language
169
interpreter
99
scripting-language
61
scripting
58
parser
48
cryptography
41
zero-knowledge
39
repl
33
webassembly
30
cli
28
leo
27
functional
27
aleo
27
programming
26
zksnarks
26
embedded
25
lexer
21
koto
20
wasm
18
lisp
17
transpiler
17
air
16
fluence
15
dsl
14
python
13
pi-calculus
13
compiler-construction
13
music
13
sound
13
configuration
12
type-inference
11
gluon
11
embeddable
11
assembler
11
configuration-language
11
solidity
10
solc
10
evm
10
transducers
10
yul
10
scheme
10
ethereum
10
racket
10
graphics-programming
10
virtual-machine
10
contracts
10
policy
9
platform-engineering
9
kubernetes
9
infrastructure-as-code
9
devops
9
crypto
9
record
9
schema
9
shift-left
9
validation
9
configuration-management
9
cloud-native
9
assembly
9
functional-programming
8
brainfuck
8
vm
8
erg
8
symbolic-math
8
symbolic-computation
8
symboscript
8
symbolic
8
basic
8
statically-typed
8
gpio
8
learn-to-code
8
high-level
8
learning
8
sdl2
8
raspberry-pi
8
sdk
8
assembly-language
7
machine-w
7
emulator
7
asmodeus
7
dependent-types
7
type-theory
7
namespacing
7
alias-management
7
debugger
7
education
7
std
7
standard-library
7
noir-lang
7
optimization
7
meta-programming
7
high-level-programming
7
cranelift
7
programming-languages
7
compile-time
7
compile
7
scraping-websites
6
hacktoberfest
6