Repository Index

A "run" function for asyncio-based apps that does all the boilerplate.

• async
• async-await
• asynchronous
• asynchronous-tasks

Docile keeps your Ruby DSLs tame and well-behaved

• dsl
• ruby
• builder-pattern
• immutability

Event loop friendly C++ actor micro-framework, supervisable

• cpp17
• actor-framework
• actor
• boost

PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

A Library for Representing Recursive and Impure Programs in Coq

C++20 Microservice Bootstrapping Framework

• threads
• event-loops
• boost
• cpp20

cpp11 helps you to interact with R objects using C++ code.

• r
• cpp11
• cpp

Source code for the Uno Gallery apps and Uno Playground (made in Wasm)

• uno
• uno-platform
• webassembly
• wasm

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

• go
• golang
• type
• struct

Like `Promise.all()` but for `Map` and `Object`

A JNI code generator based on the JNI generator used by the eclipse SWT project

transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!

• coffeescript
• bash
• transpiler

A Lean formalization of the Classification of Finite Simple Groups

PHP Iteration Tools Library

• php-library
• php
• iterator
• iterable

Fast, safe, complete libvips bindings for image processing in Java / JVM projects

• ffm
• image-processing
• java
• libvips

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

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

Persistent sorted maps and sets with log-time rank queries

Clojure support for protocol buffers

• clojure
• protobuf
• protobuf3
• protobuf-java

C# bindings for Sciter - create HTML/CSS/JS based native apps

• sciter

Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.

• uno
• uno-platform
• webassembly
• wasm

Functional programming library for https://github.com/crystal-lang/crystal

A very simple CSS parser, written in Go

• css
• golang