Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

A high-level Lisp configurator for the Ergodox keyboard

Emacs Lisp 86 4 Updated Jun 2, 2020

A modern Prolog implementation written mostly in Rust.

Rust 659 38 Updated Aug 8, 2020

NeXTSTEP-like desktop environment for Linux

Objective-C 1,207 44 Updated Aug 7, 2020

Racer support for Emacs

Emacs Lisp 373 41 Updated Oct 1, 2019

Emacs Minor Mode for Cargo, Rust's Package Manager.

Emacs Lisp 127 48 Updated Jul 21, 2020

Emulator for the Commander X16 8-bit computer

C 135 25 Updated Aug 5, 2020

A Standard ML Compiler for the Web

Rust 279 8 Updated May 31, 2020

KeyV2: A Parametric Mechanical Keycap Library

OpenSCAD 377 52 Updated Jul 21, 2020

Unicode-based scientific plotting for working in the terminal

Julia 641 36 Updated May 23, 2020

A parser combinator library for Rust

Rust 837 60 Updated Jul 28, 2020

A command-line tool for generating Sony A7RIII Pixel-Shift ARQ files

Python 7 1 Updated Mar 10, 2020

A font family with a great monospaced variant for programmers.

Python 5,019 114 Updated Jul 4, 2020

A powerful cross-platform raw photo processing program

C++ 1,207 183 Updated Aug 9, 2020

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Common Lisp 4,756 512 Updated Jul 21, 2020

Slender typeface for code, from code.

JavaScript 10,579 341 Updated Aug 8, 2020

Pixel graphics in terminal with unicode braille characters

Python 2,664 131 Updated Jun 3, 2020

(spark '(1 1 2 3 5 8)) => "▁▁▂▃▅▇"

Common Lisp 77 2 Updated Jun 11, 2015

GNU APL mode for Emacs

Emacs Lisp 65 14 Updated Jan 8, 2020

Virtual Haskell Environment builder

Haskell 57 13 Updated Feb 26, 2015

Cryptol: The Language of Cryptography

Haskell 890 93 Updated Aug 5, 2020

Customizable sliding view controller container.

Objective-C 4,412 867 Updated Jan 13, 2018

Manipulate the contents of Novena's personality EEPROM

C 6 2 Updated Apr 27, 2015

TLS/SSL implementation in haskell

Haskell 366 76 Updated Jul 21, 2020

Etnaviv is a project to build a FOSS driver for the Vivante GCxxx series of embedded GPUs - laanwj's personal fork - upstream is https://github.com/etnaviv/etna_viv

C 193 69 Updated Nov 21, 2017
C 147 22 Updated Apr 3, 2013

🎉 2048 in your terminal

Python 777 140 Updated Dec 10, 2019

A drawing engine in Haskell

Haskell 111 14 Updated Apr 1, 2020

A DSL for embedded hard realtime applications.

Haskell 238 18 Updated May 15, 2017

Nix Packages collection

Nix 5,411 5,070 Updated Aug 9, 2020
Next
You can’t perform that action at this time.