Elixir binding to Detergent erlang library used to call WSDL/SOAP Services
Repository Index
81,588 visible repositories in the index
97–120 of 132 · Most stars
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
- lisp
- common-lisp
- generics
- polymorphic-functions
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
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
A ClojureScript wrapper for RxJS
Library for Classical Coq
nanomsg bindings for ocaml
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Hunchentoot Gserver based taskmanager
Generates Blazor -> Javascript strongly typed interop methods.
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
A different tap parser
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Dynamic bindings to the CUDA library for the D Programming Language.
Elixir RSS/Atom parser
A string argument parser that understands quotes and backslashes
A dynamic binding to ENet for the D Programming Language.
Tiny simple blocking queue in erlang
A dynamic binding to libpq for the D Programming Language.
Dynamic bindings to the OpenCL library for the D Programming Language.