Repository Index

A Task-based LINQ designed to work with async/await

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

• java-bytecode
• invokedynamic
• java
• jvm-bytecode

:droplet: Publish/Subscribe utility module

• elixir
• pubsub

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Ant Design bindings for Fable Elmish

• fable
• antd

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

A template designer for Djula

• common-lisp
• html
• lisp
• templates

This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.