Repository Index

Software Foundations in Idris

• idris
• theorem-proving
• book
• computer-science

Allow you to pluck attributes from nested associations without loading a bunch of records.

• rubygems
• rails
• activerecord
• eager-loading

Curated (meta)list of resources for Biology.

• biology
• awesome-list
• bioinformatics
• books

Grunt plugin to run Google PageSpeed Insights as part of CI

Forensics artefact collection tool for systems running Microsoft Windows

• dfir
• incident-response
• collection

Easily consume REST APIs with Go (golang)

Python MQTT v5.0 async client

• mqtt
• python-mqtt-client
• mqttv5
• python

Protocol-oriented UITableView management, powered by generics and associated types.

• ios
• uitableview
• protocol
• swift

pure-Python (Numpy optional) 3D coordinate conversions for geospace ecef enu eci

• coordinate-conversion
• coordinate-transformation
• geodesy

Mad science p2p pipe across the web using webrtc that uses your Github private/public key for authentication and a signalhub for discovery

A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.

• cpp
• cpp14
• cpp14-library
• dimensional-analysis

Firewall and Privatizing Proxy for Trackers, Attackers, Malware, Adware, and Spammers with Anti-Virus On-Demand and On-Access Scanning (PF, squid, privoxy, hphosts, dshield, emergingthreats, hostsfile, PAC file, clamav)

• proxy
• tracker
• firewall
• privacy-enhancing-technologies

IL2C - A translator for ECMA-335 CIL/MSIL to C language.

• cil
• msil
• c
• csharp

Vulkan RTX path tracer with a declarative ES7-like scene description language.

• raytracing
• path-tracing
• rtx
• qt

A Live Preview Plugin for Neovim that allows you to view Markdown, HTML (along with CSS, JavaScript), AsciiDoc, SVG files in a web browser with live updates.

• neovim-plugin
• lua
• neovim
• asciidoc

Getting serious about Vulkan development with this modern C++ framework, battle-tested in rapid prototyping, research, and teaching. Includes support for real-time ray tracing (RTX), serialization, and meshlets.

• vulkan
• rendering
• engine
• cpp

Booster Framework

• serverless
• cloud-native
• booster-framework
• typescript

.NET event sourced domain driven design model via NServiceBus and GetEventStore

• eventstore
• nservicebus
• ddd
• eventsourcing

FsUnit makes unit-testing with F# more enjoyable. It adds a special syntax to your favorite .NET testing framework.

• fsunit
• xunit
• nunit
• fsharp

TranslatedSource code of the Richman 4 (大富翁4, "Rich Man 4") remastered app (Vite + TypeScript + Capacitor iOS)

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

An unofficial original Xbox version PC port of Splinter Cell: Double Agent via static recompilation.

• original-xbox
• recompilation

Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

🍫 Syncalicious