Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
88,073 visible repositories in the index
673–696 of 1,041 · Most stars
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
An elixir haml parser
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.
- cron
- csharp
- date-time
- dotnet
An esoteric programming language built to break LLMs and coding agents.
Secure firmware framework focusing on developer experience
Railway-oriented programming for .NET
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
:ram: :mag_right: Lens library built on ramda
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Yaml parser for Elixir based on native Erlang implementation
Easy OCaml bindings for Javascript libraries
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
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
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Hooks for Yew, inspired by streamich/react-use and alibaba/hooks.
- yew
- rust
- react
- hooks
Rust framework for GPUI with native and browser apps, runtime inspection, and agent control.
- ai-agents
- developer-tools
- gpui
- gui
OM#: Visual Programming | Computer-assisted Music Compositon
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics