Repository Index

Try Yii2 with Vagrant VM + Ansible provisioning = Complete readymade virtual server playground

fpreact provides an alternative api for creating preact components, heavily inspired by elm.

• preact

squash and unpack Docker images, in Golang

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

High-performance TUI framework for Go with DDD + Rich model inspired architecture, perfect Unicode, and Elm-inspired design. Modern alternative to Bubbletea/Lipgloss.

• bubbles
• bubbletea
• cli
• command-line

Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.

• lisp
• sublime-text
• flex-completion
• repl

An automation framework to create Blazor component

• blazor
• component
• rendertreebuilder
• razor

A small, fast and fully compliant JSON parser in Elixir

Entity Component System with network support (for haxe)

• entity-component-system
• architecture
• networking
• game-development

JS implementation of nimn specification

• nimn
• nimnjs
• encoder
• decoder

Tool for comparing Postgres database schemas

• shell
• postgresql
• schema
• comparison

Popular Mobile UI Framework for AS3 / AIR

CMake plugin composer.

• cmake

A C++ Library for Linux based single board computers ( sbc ) to drive electronic displays. Developed and tested on Raspberry pi (5, 4 & 3).

• erm19264
• hd44780
• library
• nokia5110

Null Types, Safe primitive type conversion and fetching value from complex structures.

• go
• golang
• golang-library
• types

A very tiny and fast compose function.

The universal ISSR server compatible with <your-favorite-programming-language>

Delphi component Equation Editor that allows you to enter and display math formulas

• equation-editor
• display-math-formulas
• delphi
• delphi-component

Autocomplete and lint from a GraphQL endpoint in atom.

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

A custom stretchable header view for UIScrollView or any its subclasses with UIActivityIndicatorView and iPhone X safe area support for content reloading. Built for iOS 10 and later.

Dash component for Vega-Altair charts

• altair
• plotly-dash
• vega

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436