Repository Index

XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator

• xsd
• xsd-schema
• xml
• xml-parser

WebView4Delphi is an open source project created by Salvador Díaz Fau to embed Edge/Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows.

• windows
• delphi
• lazarus
• fpc

VBA Standard Library - A Collection of libraries to form a common standard layer for modern VBA applications.

• vba
• macros
• microsoft
• microsoft-excel

A fast globbing library for .NET / .NETStandard applications. Outperforms Regex.

• glob
• glob-pattern
• globbing-library
• csharp

recursion schemes for cats; to iterate is human, to recurse, divine

• scala
• recursion-schemes
• functional-programming

A CSS-in-Rust styling solution for WebAssembly Applications

• yew
• wasm
• rust
• css

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

An OTP Process Pool Application

A lightweight library for writing concurrent programs in Go using the Actor model.

• actor
• go-actor
• concurrency
• concurrent-programming

A best-of-breed language with a holistic approach to moving the needle

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

• immutable
• typescript-definitions
• es2015-modules
• data-structures

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

A JavaScript library for building React applications in more functional way. Alternative to JSX.

• fp
• react
• no-jsx
• lambda

TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.

• agentic-ai
• ai-agents
• cli
• developer-tools

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)

A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.

• blazor
• blazor-webassembly
• blazor-client
• blazor-application

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications

Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)

• compiler
• compiler-backend
• compiler-optimization
• gpu-acceleration

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

🌟 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