A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
72,362 visible repositories in the index
553–576 of 931 · Most stars
a re-implementation of the asyncio mainloop on top of Trio
A Ruby C wrapper for Open Text Summarizer
Like `Promise.all()` but for `Map` and `Object`
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
🌟 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
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.
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
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 simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
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
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards