Repository Index

Rocket League Replay parser in Rust

• rust
• serde
• rocket-league

Low-Level threads(pthreads or WIN32 threads) for Lua.

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

PHP Iteration Tools Library

• php-library
• php
• iterator
• iterable

F# Cold Tasks and Cancellable Tasks

• fsharp
• dotnet
• async-await
• dotnet-core

:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications

• topic
• pubsub
• go
• golang

Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.

• charts
• cpp
• graphs
• plotly

Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

• formal-verification
• lean4
• proof-carrying-code
• type-safety

A Neovim plugin for readable concurrency with coroutines.

• coroutines
• neovim-plugin

VS add-in. Creates Xamarin.Android Binding Projects using gradle

• xamarin
• gradle
• android-bindings
• xamarin-android

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

• reactive
• elmish
• fable
• fsharp

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang

Simple ClojureScript interface to React

Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

A Lean formalization of the Stacks Project

A Ruby wrapper for Latent Dirichlet Allocation (LDA).

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery

Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM

• clojure
• computer-vision
• kotlin
• opencv

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

Async node.js interface to Blackmagic Design capture and playback devices.

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses