Lightweight alternative to Discourse written in Nim
A library for differentiable nonlinear optimization
Getting you where you want with the fewest keystrokes
An implementation of tap targets from the Material Design guidelines
TLC is an explicit state model checker for specifications in TLA+
Reliably create beautiful Add to Calendar Buttons with ease
ANTLR4 language support for Visual Studio Code
Combination of multiple linters to install as a GitHub Action
Write AWS applications at lightning speed
Online EditorX
PICSimLab is a realtime emulator for PIC, Arduino, STM32, ESP32, ...
The ultimate solution for WordPress imports & exports.
Github's Neovim themes
A simple Ruby Gem to bootstrap dependencies
An editor for the specification of Graphol ontologies
Sahifa is one of the most versatile website themes in the world.
HiPS tool features to design and analyze hierarchical Petri nets
GUI designer for wxWidgets
A tiny immediate-mode UI library
A component with interactive border made using vanilla html/css/js
32/64 bit multi-platform Ethernet S7 PLC communication suite
A Makeshift Text Shaderer