A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Repository Index
47,133 repositories indexed
337–360 of 390 · Most stars
Simple Shopify API for the Go Programming Language
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
OpenFaaS template for the crystal programming language
Unofficial OpenCV binding for D programming language
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Dynamic bindings to the CUDA library for the D Programming Language.
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Lua wrapper arount the Tweet NaCl cryptographic library
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
LALR(1) Parser Generator for the D Programming Language
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
libsodium for Ada - A secure cryptographic library
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
A dynamic binding to ENet for the D Programming Language.
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp