Repository Index

WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation

• esolang
• esoteric-language
• serialization
• encoding

ClojureScript library for Ant Design React UI components

• clojurescript
• reagent
• rum
• reagent-components

A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.

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.

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

Parser combinators for Idris

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

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

Javascript wrapper for GDAL in the browser

• gdal
• wrapper
• bindings
• js

A functional JavaScript library that facilitates currying and point-free programming

• ai-friendly
• composition
• curry
• currying

Simply way to control goroutines execution order based on dependencies

• goflow
• golang
• goroutine
• concurency

CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.

• blazor-webassembly
• clean-architecture
• aspire
• blazor-wasm

Functional programming in R

Tiny library (<200B gzip) for deferring something by a "tick"

• defer
• javascript
• async
• wait

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom

Functional Concurrency Primitives

• concurrency
• software-transactional-memory
• synchronization
• lock

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

A Ruby C wrapper for Open Text Summarizer

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

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

A tiny CSS parser

• python
• css
• parser

CSP-style concurrency for Python

• python
• asyncio
• csp
• concurrency

A simple cross platform .NET API for Intel MKL

• mkl
• cross-platform
• matrix
• linear-algebra

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

Portable channel-based concurrency for Common Lisp