Repository Index

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Railo is an Open Source CFML Server

This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

The GPars concurrency and parallelism framework for the JVM

An experiment in adding functional pattern matching to JavaScript

Strip console, alert, and debugger statements from JavaScript code

• gulp-plugin
• nodejs
• javascript
• strip

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

Bindings to connect lua with Steam API

• game-development
• love2d
• lua
• steam-api

A simple, easy to use library for React development in ClojureScript.

• react-components
• hiccup
• clj
• clojurescript

A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.

• regular-expression
• regexp
• regex
• code-generation

🛠 A full-featured dependency injection container for go programming language.

• go
• dependency-injection
• di
• ioc

ReScript bindings for Formidable's Universal React Query Library, urql.

• reasonml
• graphql
• reasonreact
• bucklescript

A collection of sweet.js macros that implement ES6 features for ES5

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

C++20 Microservice Bootstrapping Framework

• threads
• event-loops
• boost
• cpp20

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

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

A Modern and Flexible Web Client for R

Complete ECMAScript Fifth Edition Implemention in Object Pascal

Haxe/Lua externs for Defold game engine

• defold-game-engine
• haxe
• lua
• lua-externs

Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal

• pascal
• vulkan
• vulkan-api
• vulkan-library