FIFOAdvisor: A DSE Framework for Automated FIFO Sizing of High-Level Synthesis Designs

The MLton repository

Poly/ML

CakeML: A Verified Implementation of ML

A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming

Simple responsive charts

Reusable JavaScript library for creating sketchy/hand-drawn styled charts in the browser.

The open-source CapCut alternative

A beautiful inline overlay for Emacs (Flycheck | Flymake)

inklayers is a command line program that exports layers from an SVG file. It can be used to create slide shows by editing a single SVG file.

An AI Hedge Fund Team

a Hedge fund run by Boomers, regards, degenerates and ofcourse - AI

Reduceron Project website

XOauth2 Scripts

RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT

Mirror of the original repository (https://gitlab-student.macs.hw.ac.uk/as251/dsg-webpages)

A processor for efficient combinator graph reduction.

scroll Emacs like lightning

Orgmode exporter for Taskjuggler

Awesome list for LLM pruning.

real time face swap and one-click video deepfake with only a single image

A Comprehensive Toolkit for High-Quality PDF Content Extraction

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …

Display the upcoming prices on the Octopus Energy "Agile" tariff.

Source code for National Grid: Live at https://grid.iamkate.com/

A complete computer science study plan to become a software engineer.

A tool for parsing, editing, optimizing, and profiling ONNX models.

A Gantt Chart (Calendar) for Org Mode

A list of papers, docs, codes about model quantization. This repo is aimed to provide the info for model quantization research, we are continuously improving the project. Welcome to PR the works (p…