An embeddable implementation of the Ngaro Virtual Machine for Go programs
Repository Index
47,133 repositories indexed
409–432 of 472 · Most stars
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Simple Shopify API for the Go Programming Language
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
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
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
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
A web framework for writing react components in common lisp using jscl
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.
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
PEG parser generator for VB6
- vb6
- peg
- parser
- grammar
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
PEG parser for YAML written in Rust 🦀