Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Repository Index
47,133 repositories indexed
505–528 of 654 · Most stars
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
The completeness of Djula meets the usability of Eco.
Simple implementation of the hungry-consumer model in Elixir
Common Interface to ISO Prolog implementations from Common Lisp
Go Bindings for libsamplerate
- golang
- libsamplerate
- audio
- audio-processing
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Simple currying for FuncN and ActionN on RxJava [STABLE]
Compile Sass/SCSS to CSS in Crystal (libsass binding)
A modern, template-based, open source data transformation language
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
Simple Web-MIDI Message Parser
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang