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
409–432 of 543 · Most stars
A Starcraft 2 replay parser written in pure Ruby
Compile-Time Parser Generator in D programming language.
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Qt Qml bindings for the D programming language
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
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
Delphi binding for Lua 5.1 language
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package
The Thue programming language: Programming with grammars
Bindings to libgraphqlparser for R
A modern, template-based, open source data transformation language
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
Tealang - high level language for Algorand ASC1 and TEAL
Simple Web-MIDI Message Parser
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
List manipulation library inspired by Haskell package Data.List
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Chuck Norris Programming Language
- esoteric-language
- chuck-norris
- language
- javascript