madsenwattiq
Follow
Stars
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
SlamKit is an open source tool kit for efficient training of SpeechLMs. It was used for "Slamming: Training a Speech Language Model on One GPU in a Day"
Fancy stream processing made operationally mundane. This repository is a fork of the original project before the license was changed.
A Kubernetes operator for automated updates to Bottlerocket
An operating system designed for hosting containers
[ICLR 2024] Official implementation of " 🦙 Time-LLM: Time Series Forecasting by Reprogramming Large Language Models"
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Quick script to download all your Kindle ebooks.
noDRM / DeDRM_tools
Forked from apprenticeharper/DeDRM_toolsDeDRM tools for ebooks
Concatenate a directory full of files into a single prompt for use with LLMs
The official code 👩💻 for - TOTEM: TOkenized Time Series EMbeddings for General Time Series Analysis
Export Kubernetes events to multiple destinations with routing and filtering
Convenient Machine-Learned Auto Brightness (Linux)
A library that allows you to easily mock out tests based on AWS infrastructure.
self education and historical research of the C++ compiler cfront v1.0
dashesy / cc-tool
Forked from scott-42/cc-toolMirror of cc-tool from SourceForge
Boundaries of quantum supremacy via random circuit sampling
A PyTorch native library for large model training
Pretty fancy and modern terminal file manager
My implementation of the original transformer model (Vaswani et al.). I've additionally included the playground.py file for visualizing otherwise seemingly hard concepts. Currently included IWSLT p…
Transformer: PyTorch Implementation of "Attention Is All You Need"
Building event-driven applications the easy way in Go.
A minimalist novel-writing system/rich text editor designed to be usable without a mouse. For desktop and standalone word processors/digital typewriters/writerDecks.