Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
47,133 repositories indexed
337–360 of 655 · Most stars
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
An esoteric programming language built to break LLMs and coding agents.
golang wrapper for github.com/OSGEO/gdal
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
Go Lang Web Assembly bindings for DOM, HTML etc
- wasm
- binding
- golang
Crystal-lang bindings for libui
- crystal
- gui
Yaml parser for Elixir based on native Erlang implementation
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.
- header-translation
- pascal-binding
- raylib
- lazarus
Fast resizable golang semaphore primitive
- semaphore
- go
- golang
- semaphore-pattern
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Expression evaluation in golang
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
Ada semantic analysis library.
Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
A fast ISO8601 date parser for Go
- go
- golang
- parser
- iso8601
Common Lisp port of the Django templating language
- template-engine
- html-template
- lisp
- common-lisp
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
errgroup with goroutine worker limits
- go
- golang
- sync
- errgroup