Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
71,372 visible repositories in the index
481–504 of 778 · Most stars
Rocq plugin embedding Elpi
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
An esoteric programming language built to break LLMs and coding agents.
state machine which runs code
golang wrapper for github.com/OSGEO/gdal
CSP-style concurrency for Python
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
Go Lang Web Assembly bindings for DOM, HTML etc
Crystal-lang bindings for libui
Yaml parser for Elixir based on native Erlang implementation
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Fast resizable golang semaphore primitive
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
A friendly and modern functional object oriented language for shell script.
Expression evaluation in golang
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
Ada semantic analysis library.
Generate Erlang VM byte code from Haskell
A fast ISO8601 date parser for Go
The Ink language parser and runtime implementation in Lua
Common Lisp port of the Django templating language
Rust language bindings for Microsoft Playwright
A common cross-platform GUI library, the core uses Lazarus LCL.
errgroup with goroutine worker limits