mgajda

Michał J. Gajda's starred repositories

riju

⚡ Extremely fast online playground for every programming language.

Language:JavaScriptMIT157000

peredvizhnikov-engine

A fully lock-free game engine written in C++20

Language:C++GPL-3.071200

dalai

The simplest way to run LLaMA on your local machine

Language:CSS1307100

unix-compat

Haskell portable POSIX-compatibility layer

Language:HaskellNOASSERTION300

quickcheck-contractmodel

Adversary testing of your plutus contract

Language:HaskellApache-2.0700

plurality

Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community

Language:Jupyter NotebookCC0-1.022800

rosenpass

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

Language:RustApache-2.0102300

xc

Markdown defined task runner.

Language:GoMIT101900

prompt-engine

A library for helping developers craft prompts for Large Language Models

Language:TypeScriptMIT247800

Abstract-AD

Abstract Automatic Differentiation

Language:Haskell500

mctx

Monte Carlo tree search in JAX

Language:PythonApache-2.0222700

structured-markup-experiments

Language:TypeScript100

hyper-haskell

The strongly hyped Haskell interpreter.

Language:JavaScriptNOASSERTION35900

GPTZero

An open-source implementation of GPTZero

Language:PythonMIT45800

ml-stable-diffusion

Stable Diffusion with Core ML on Apple Silicon

Language:PythonMIT1637100

muforth

A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin

Language:ForthNOASSERTION12600

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

Language:PythonMIT2472500

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Language:Jupyter NotebookMIT867900

pg_jsonschema

PostgreSQL extension providing JSON Schema validation

Language:RustApache-2.095400

graphjin

GraphJin - Build NodeJS / GO APIs in 5 minutes not weeks

Language:GoApache-2.0285800

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

Language:Haskell900

elm-constants

Generate constant values in Elm from your environment

Language:JavaScript4800

vroom

VRoom! RISC-V CPU

Language:VerilogGPL-3.045700

idot

Display Graphviz images inline in your terminal (inspired by https://twitter.com/thingskatedid/status/1316075850580652032).

Language:CrystalMIT200

kgt

BNF wrangling and railroad diagrams

Language:CBSD-2-Clause58200

pandoc

Universal markup converter

Language:HaskellNOASSERTION3294800

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.01018000

fusion-plugin

GHC plugin to make stream fusion more predictable

Language:HaskellApache-2.01600

proof-of-burn-cardano

Language:Haskell700

rpi4-osdev

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

Language:CCC0-1.0335900