Category Theory in Coq github.com

Axiom-free formalization of category theory.

ranger github.com

circuit github.com

An efficient and feature complete Hystrix like Go implementation of the circuit breaker pattern.

thepowersgang/rust_os github.com

An OS kernel written in rust. Non POSIX

Modern OpenGL Series github.com

kitti2bag github.com

Convert KITTI dataset to ROS bag file the easy way.

RC-Dock github.com

Dock layout component for React.

r2 github.com

Automatic arbitrage trading system powered by Node.js + TypeScript.

ngx-leaflet github.com

Core Leaflet package for Angular.

Spotcast github.com

Start Spotify playback on an idle Chromecast device as well as control Spotify connect devices (809★).

Gale github.com

Modern and lightweight mod manager for Thunderstore.

datoviz github.com

Aleph One github.com

The open source continuation of Bungie’s Marathon 2 game engine.

terraform-aws-ec2-instance github.com

Creates EC2 instances on AWS.

BlazorFabric github.com

Blazor port of Microsoft UI Fabric with fluent design. (Demo).

lua-resty-kafka github.com

espec github.com

BDD test framework for Elixir inspired by RSpec.

SwiftGraph github.com

Graph data structure and utility functions in pure Swift.

MultiViewAdapter github.com

Recyclerview Adapter library to create composable view holders.

atmo github.com

Server-side API mocking.

DGL-LifeSci github.com

LARVIO github.com

A lightweight, accurate and robust monocular visual inertial odometry based on Multi-State Constraint Kalman Filter.

MITMEngine github.com

scss-blend-modes github.com

Using standard color blending functions in Sass.

Reindexer github.com

Embeddable, in-memory, document-oriented database with a high-level Query builder interface. [Apache2] website

heroku-buildpack-elixir github.com

Heroku buildpack to deploy Elixir apps to Heroku.

koute/pinky github.com

A NES emulator

pyvips github.com

dockerface github.com

graphql-lua github.com

GraphQL for Lua.

GCDTimer github.com

Well tested Grand Central Dispatch (GCD) Timer in Swift.

Fortran Machine github.com

An MVC web stack written in Fortran 90

cassowary github.com

Modern cross-platform HTTP load-testing tool written in Go.

Verge github.com

Verge is a faster and scalable state management library for UIKit and SwiftUI

react-native-hyperlink github.com

HyenaDNA github.com

Long-range genomic foundation model handling sequences up to 1M tokens with sub-quadratic attention.

Bowtie 2 github.com

Droidbox github.com

vpuppr github.com

A cross-platform VTuber application with mulitple tracking backends.

aserowy/tmux.nvim github.com

Tmux integration features pane movement and resizing.

deep_cloneable github.com

Pliny github.com

Kiosk Mode github.com

Hide the header, sidebar, and overflow menu for a clean kiosk-style view (738★).

AdRoll/hologram :fire::fire::fire: github.com

Lite³ github.com

JSON-compatible zero-copy serialization format.

kraken github.com

Ghostship github.com

Super Mario 64 reimplementation for PC.

Command & Conquer github.com

Recreation of the original Command and Conquer, Real Time Strategy game entirely in HTML5 and JavaScript.

Antd Init github.com

vite-plugin-vue-inspector github.com

jump to editor source code while click the element of browser automatically.