Giters
Ramkumar Ramachandra (artagnon)

artagnon

Geek Repo

267

followers

12

following

6

stars

Location:London

Home Page:artagnon.com

Github PK Tool:Github PK Tool

Ramkumar Ramachandra's repositories

rhine-ml

🏞 an OCaml compiler for an untyped lisp

Language:OCamlLicense:NOASSERTIONStargazers:631Issues:53Issues:11

clayoven

💎 beautiful website generator aimed at math-heavy sites

Language:RubyLicense:MITStargazers:332Issues:2Issues:1

phoenixfs

🔥 a versioning filesystem inspired by git

Language:CLicense:MITStargazers:199Issues:25Issues:3

rhine

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

Language:C++License:MITStargazers:164Issues:7Issues:1

bonak

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

Language:TeXLicense:MITStargazers:26Issues:4Issues:1

ibex

🐐 imap client written in go and js

Language:GoLicense:GPL-2.0Stargazers:22Issues:3Issues:0

vsfstar

🦅 VSCode extension for F* with IDE features

Language:TypeScriptLicense:MITStargazers:15Issues:2Issues:0

dotfiles

📂 gitconfig, ruby, perl, nvim

Language:PythonLicense:MITStargazers:10Issues:4Issues:0

atomic-rtags

🔖 rtags for Atom

Language:CoffeeScriptLicense:MITStargazers:9Issues:3Issues:2

artagnon.com

∞ my online presence — generated by clayoven

Language:HTMLLicense:CC-BY-4.0Stargazers:7Issues:2Issues:3

boot-wrapper-aarch64

🥾 boot wrapper for AArch64 linux

Language:AssemblyLicense:BSD-3-ClauseStargazers:7Issues:3Issues:0

tree-sitter-mlir

MLIR grammar for tree-sitter

Language:JavaScriptLicense:Apache-2.0Stargazers:6Issues:1Issues:3

vsclay

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

Language:TypeScriptLicense:MITStargazers:4Issues:2Issues:1

FreelyCommute

🖋 reMarkable v5 parser

Language:C++Stargazers:3Issues:2Issues:0

vstwig

🈸 vscode extension for PHP Twig

Language:TypeScriptLicense:MITStargazers:2Issues:1Issues:5

megafinder

🔭 Atom plugin for running find and fuzzy-filtering

Language:JavaScriptLicense:MITStargazers:1Issues:2Issues:0

sandbox

⛱️ project euler in haskell, programming puzzles, toys

Language:C++License:ISCStargazers:1Issues:4Issues:1

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

art.cls

🎨 Artistic article class used for all my work

Language:TeXLicense:MITStargazers:0Issues:2Issues:0

authored

✍️ presentations I've done over time

Language:TeXStargazers:0Issues:2Issues:0

docker-base

Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]

Language:DockerfileLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

emacs-helm-p4locate

⛑ helm support for locating files using perforce

Language:Emacs LispStargazers:0Issues:2Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:1Issues:0

MathJax-src

MathJax source code for version 3 and beyond

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

neomutt

:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:1Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

License:GPL-2.0Stargazers:0Issues:0Issues:0

tree-sitter

An incremental parsing system for programming tools

Language:RustLicense:MITStargazers:0Issues:1Issues:0

xkeymask

An extension of the xkeyval LaTeX package for masking certain keys

Language:TeXStargazers:0Issues:2Issues:0