High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
47,133 repositories indexed
937–960 of 1,373 · Most stars
High level commands to declare a hierarchy based on packed classes
Due to popular demand I have added my ZX Spectrum emulator
WebAssembly runtime for Crystal
A few classes for extremely fast json parsing/serializing in modern C++. Possibly the fastest json parser in C++. Possibly the fastest json serializer in C++.
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
Authenticated encrypted API tokens (IETF XChaCha20-Poly1305 AEAD) for Golang
MacOS app for Generating JSON classes (Template based)
asp.net core middleware to send compressed static files to the browser without having to compress on demand, also has support for sending more advanced image formats when the browser indicates that i has support for it.
A handy calculator, based on Rust and WebAssembly.
Automatic Lazy Loading support for Blazor (Server and WebAssembly)
MQTT dissetor for Wireshark
Fast Fourier transform in MicroPython's inline ARM Thumb V7 assembler (STM32, RP2350 etc.).
Flappy Bird clone made for the Game Boy.
Reference implementation of a full-stack Rust application
A Blazor wrapper for the Media Capture and Streams browser API.
netdiffuseR: Analysis of Diffusion and Contagion Processes on Networks
Powerful macro (cross) assembler package for several CPUs
The NuGet package that provides post published processing to deploy the ASP.NET Core SPA project (such as Blazor WebAssembly) as a GitHub pages site.
Big Data essentials: Hadoop, MapReduce, Spark. Explore tutorials and demos in Jupyter notebooks—most are self-contained and live, ready to run with a click.
😀 The Acid2 test, now for Game Boy Color! 😀
The legacy distributed object storage server developed by PitchPoint Solutions can store billions of large and small files using minimal resources. Object data is stored in replicated volumes implemented like Facebooks Haystack Object Store. Object metadata which essentially maps an object name to a volume position is stored in an elasticsearch index. (Development by PitchPoint Solutions has been discontinued)
Transpile ES6 Modules in the Rails Asset Pipeline
This is a small, opinionated Go library and CLI for Markdown to PDF. It handles cover pages, tables of contents, watermarks, signatures, and more. You can use CSS themes and custom assets. It works with parallel batch processing. The engine behind it is Chrome. It does not rely on LaTeX.
Rapid generics/defaults equivalent classes for Delphi (XE8+)