artagnon/sauerkraut artagnon/sauerkraut

  • This repository has been archived on 02/Nov/2020
  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
artagnon/sauerkraut
github

artagnon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

⏲ a mishmash of matrix multiplication algorithms

More Repositories

1

rhine-ml

🏞 an OCaml compiler for an untyped lisp
OCaml
630
star
2

clayoven

💎 beautiful website generator aimed at math-heavy sites
Ruby
332
star
3

phoenixfs

🔥 a versioning filesystem inspired by git
C
198
star
4

rhine

🔬 a C++ compiler middle-end, using an LLVM backend
C++
161
star
5

bonak

🧊 An indexed construction of semi-simplicial and semi-cubical types
TeX
26
star
6

ibex

🐐 imap client written in go and js
Go
21
star
7

ublog.el

🗿 elisp artifact – worked as a twitter client briefly
Emacs Lisp
18
star
8

vsfstar

🦅 VSCode extension for F* with IDE features
TypeScript
15
star
9

dotfiles

📂 gitconfig, ruby, perl, nvim
Python
10
star
10

atomic-rtags

🔖 rtags for Atom
CoffeeScript
9
star
11

boot-wrapper-aarch64

🥾 boot wrapper for AArch64 linux
Assembly
7
star
12

artagnon.com

∞ my online presence — generated by clayoven
HTML
6
star
13

vsclay

🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX
TypeScript
5
star
14

rejourn

♨️ static html generator — abandoned in favor of clayoven
Python
5
star
15

FreelyCommute

🖋 reMarkable v5 parser
C++
3
star
16

proofsauce

🍳 Experiments in Coq
Coq
1
star
17

vstwig

🈸 vscode extension for PHP Twig
TypeScript
1
star
18

tree-sitter-mlir

MLIR grammar for tree-sitter
JavaScript
1
star
19

megafinder

🔭 Atom plugin for running find and fuzzy-filtering
JavaScript
1
star
20

sandbox

⛱ project euler in haskell, programming puzzles, toys
C++
1
star