jarpoole

typebox

Json Schema Type Builder with Static Type Resolution for TypeScript

typeorm

ORM for TypeScript and JavaScript. Supports MySQL, PostgreSQL, MariaDB, SQLite, MS SQL Server, Oracle, SAP Hana, WebSQL databases. Works in NodeJS, Browser, Ionic, Cordova and Electron platforms.

nTA-Total-Annihilation-Clone

nTA - A partial clone of Total Annihilation

tigerbeetle

The financial transactions database designed for mission critical safety and performance.

the-super-tiny-compiler

:snowman: Possibly the smallest compiler ever

mikro-orm

TypeScript ORM for Node.js based on Data Mapper, Unit of Work and Identity Map patterns. Supports MongoDB, MySQL, MariaDB, MS SQL Server, PostgreSQL and SQLite/libSQL databases.

azure-sdk-for-rust

This repository is for active development of the *unofficial* Azure SDK for Rust. This repository is *not* supported by the Azure SDK team.

js-framework-benchmark

A comparison of the performance of a few popular javascript frameworks

CompCert

The CompCert formally-verified C compiler

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

type-challenges

Collection of TypeScript type challenges with online judge

terraform-aws-github-runner

Terraform module for scalable GitHub action runners on AWS

papers-we-love

Papers from the computer science community to read and discuss.

angular-three

🧊 THREE.js integration for Angular 🧊

asus-pce-n53-linux

🤖 Asus PCE-N53 Linux Driver for Kernel versions 3.x, 4.x and 5.x

coverxygen

Generate doxygen's documentation coverage report

experimental-fall-detector-android-app

Experimental Fall Detector Android App

py-spidev

pentest-scripts

Some scripts and PoCs I'm using in pentesting.

picture-in-picture-chrome-extension

wp-xmlrpc-bruteforcer

A simple threaded password bruteforce tool against Wordpress installations with XML-RPC enabled. The tool exploits the system.multicall functionality.

mlab

Instrument control and acquisition from Matlab using the National Instruments VISA Interface. (DS1054Z, E3648A, E3634A)

2911-Project-Website

The website we used for the multimedia component of a project for our SEG2911 course

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

PDCurses

A curses library for environments that don't fit the termcap/terminfo model.

unicurses

Github fork for unicurses