Beast code in Giters

Michael Swan's starred repositories

transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Language:PythonApache-2.0128819 1119 15165

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Language:VMIT35539 487 8408

llama2.c

Inference Llama 2 in one file of pure C

Language:CMIT16756 189 217

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

Language:TypeScriptBSD-2-Clause15661 248 3199

candle

Minimalist ML framework for Rust

Language:RustApache-2.014423 147 617

awesome-cl

A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

Language:MakefileNOASSERTION2501 111 97

nvdiffrast

Nvdiffrast - Modular Primitives for High-Performance Differentiable Rendering

Language:C++NOASSERTION1284 25 188

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellBSD-3-Clause1046 84 101

flash-linear-attention

Efficient implementations of state-of-the-art linear attention models in Pytorch and Triton

Language:PythonMIT723 19 23

IRust

Cross Platform Rust Repl

Language:RustMIT595 6 63

kvm-hello-world

A minimal kvm example

Language:CMIT467 21 12

landmark-attention

Landmark Attention: Random-Access Infinite Context Length for Transformers

Language:PythonApache-2.0399 40 15

QPyTorch

Low Precision Arithmetic Simulation in PyTorch

Language:PythonMIT258 12 52

f4pga-arch-defs

FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.

Language:Jupyter NotebookISC256 23 630

implementations

Implementations of program analysis tools with a focus on machine code

Language:C207 34 2

lightning-attention

Lightning Attention-2: A Free Lunch for Handling Unlimited Sequence Lengths in Large Language Models

Language:PythonMIT174 11 12

idris2-lsp

Language Server for Idris2

Language:IdrisBSD-3-Clause160 14 71

netpurr

NetPurr is an open-source, cross-platform API client for REST (Support for other protocols will be gradually added). It is very compact and swift, coded in Rust.

Language:RustApache-2.0119 4 1

OpenWebMath

Language:XSLTApache-2.095 3 2

centrifuge-toolkit

Tool for visualizing and empirically analyzing information encoded in binary files

Language:Jupyter NotebookMIT73 30

repl

A simple REPL for Lean 4, returning information about errors and sorries.

Language:Lean54 18 15

vscode-disasexpl

Disassembly Explorer for VS Code

Language:TypeScriptMIT48 3 14

semantics

A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]

Language:CoqMIT44 8 2