OCaml project generator.
- spin
- ocaml
- reason
- template
47,133 repositories indexed
4,585–4,608 of 8,244 · Most stars
OCaml project generator.
Testura.Code is a wrapper around the Roslyn API and used for generation, saving and compiling C# code. It provides methods and helpers to generate classes, methods, statements and expressions.
Afterburner for Vulkan development; Auto-Vk is a modern C++ low-level convenience and productivity layer atop Vulkan-Hpp.
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
Diameter stack and Base Protocol (RFC 6733) for the Go programming language
NOTE: This project in not currently maintained.
⚗️ Lightweight HTTP extensions for Java & Kotlin
Open source Android, iOS and Web app for learning about and managing digital and physical security. From how to send a secure message to dealing with a kidnap. Umbrella has best practice guides in over 40 topics in multiple languages. Used daily by people working in high risk countries - journalists, activists, diplomats, business travelers etc.
Randomized Property-Based Testing Plugin for Coq
An Elixir library for generating struct constructors that handle external data with ease.
bash script micro-framework - from small stand-alone script to complex projects with CI/CD and testing
Sends stacktrace-level performance data from a JVM process to Riemann.
inVtero.net: A high speed (Gbps) Forensics, Memory integrity & assurance. Includes offensive & defensive memory capabilities. Find/Extract processes, hypervisors (including nested) in memory dumps using microarchitechture independent Virtual Machiene Introspection techniques
A .NET Core library designed to integrate the Dapper and graphql-dotnet projects with ease-of-use in mind and performance as the primary concern.
Multiple, simultaneous, individually controllable spinners for concurrent tasks in Node.js CLI programs
Simple Swift interpreter for the Pascal language inspired by the Let’s Build A Simple Interpreter article series.
Lua Protocol Buffers
A secure, efficient TCP/UDP tunneling solution that delivers fast, reliable access across network restrictions using pre-established TCP/QUIC/WebSocket or HTTP/2 connections.
Official library for RaBitQ vector quantization and approximate nearest-neighbor search, in C++ and Python.
Localize is a framework writed in swift to localize your projects easier improves i18n, including storyboards and strings.
Small portable Elliptic-Curve Diffie-Hellman in C
A plugin for Babel v6 which transforms inline styles defined in JavaScript modules into class names so they become available to, e.g. the `className` prop of React elements. While transforming, the plugin processes all JavaScript style definitions found and bundles them up into a CSS file, ready to be requested from your web server.
ModernAVPlayer is a persistence AVPlayer wrapper
A c++ toolbox of locality-sensitive hashing (LSH), provides several popular LSH algorithms, also support python and matlab.