artagnon/boot-wrapper-aarch64

This repository has been archived on 02/Nov/2020
Stars
7
Rank 2,290,531 (Top 46 %)
Language
Assembly
License
BSD 3-Clause "New...
Created about 11 years ago
Updated almost 9 years ago

artagnon/boot-wrapper-aarch64

artagnon

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

🥾 boot wrapper for AArch64 linux

rhine-ml

🏞 an OCaml compiler for an untyped lisp

clayoven

💎 beautiful website generator aimed at math-heavy sites

phoenixfs

🔥 a versioning filesystem inspired by git

rhine

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

bonak

🧊 An indexed construction of semi-simplicial and semi-cubical types

ibex

🐐 imap client written in go and js

ublog.el

🗿 elisp artifact – worked as a twitter client briefly

vsfstar

🦅 VSCode extension for F* with IDE features

dotfiles

📂 gitconfig, ruby, perl, nvim

atomic-rtags

🔖 rtags for Atom

artagnon.com

∞ my online presence — generated by clayoven

vsclay

🍯 vscode extension for syntax-highlighting claytext, with IntelliSense for MathJaX

rejourn

♨️ static html generator — abandoned in favor of clayoven

FreelyCommute

🖋 reMarkable v5 parser

proofsauce

🍳 Experiments in Coq

vstwig

🈸 vscode extension for PHP Twig

tree-sitter-mlir

MLIR grammar for tree-sitter

sauerkraut

⏲ a mishmash of matrix multiplication algorithms

megafinder

🔭 Atom plugin for running find and fuzzy-filtering

sandbox

⛱ project euler in haskell, programming puzzles, toys