artagnon/FreelyCommute artagnon/FreelyCommute

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C++
  • Created about 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
artagnon/FreelyCommute
github

artagnon

Reviews

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

Repository Details

πŸ–‹ reMarkable v5 parser

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
25
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

proofsauce

🍳 Experiments in Coq
Coq
1
star
16

vstwig

🈸 vscode extension for PHP Twig
TypeScript
1
star
17

tree-sitter-mlir

MLIR grammar for tree-sitter
JavaScript
1
star
18

sauerkraut

⏲ a mishmash of matrix multiplication algorithms
C++
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