ShaunApps
Follow
Stars
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]
Create minimum MCDC test sets for a boolean expression
Books that makes heavy use of visuals for scientific communication
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Educational blog posts for Rust beginners
A proof-of-concept implementation of BitVM for bristol circuits
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A handheld computer programmed in Lisp with a self-contained keyboard and display.
A humble library for working with Tapscript and Bitcoin Transactions.
A book about category theory
Collection of TypeScript type challenges with online judge
The low-code Knowledge Graph application platform. Apache license.
Papers from the computer science community to read and discuss.
Awesome-LLM: a curated list of Large Language Model
Powerful and highly extensible command-line based document and bibliography manager.
Warp is the agentic development environment, built for coding with multiple AI agents.
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Source code for the X Recommendation Algorithm
A markup-based typesetting system that is powerful and easy to learn.
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
Resources for type theory, functional programming, etc.
4 bits quantization of LLaMA using GPTQ