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
241–264 of 309 · Most stars
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
The completeness of Djula meets the usability of Eco.
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
Bindings to libgraphqlparser for R
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
Clojure library for Blueprints (part of the Tinkerpop graph stack).
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
Tealang - high level language for Algorand ASC1 and TEAL
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Crystal bindings for libpcap
- packets
- pcap
- crystal
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
A natural language parser for validating complex date ranges