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
481–504 of 655 · Most stars
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Type aware promises for crystal lang
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Wrapper around mbedtls
Elixir wrapper around the Erlang module, eleveldb.
- leveldb
- elixir
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.
Qt Qml bindings for the D programming language
The repository host gives no description.
- golang
- s-expressions
- expression
- evaluation
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Delphi binding for Lua 5.1 language
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
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
The Thue programming language: Programming with grammars
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
- vlang
- vlang-module
- wrapper
- filewatcher
A modern, template-based, open source data transformation language
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
Coq library on rewriting theory and termination