search99

you-get

:arrow_double_down: Dumb downloader that scrapes the web

vsc-picat

A VS Code extension supporting for Picat language

ShenScript

Shen for JavaScript

education

Working on CS courses and books for my education

diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

db-readings

Readings in Databases

500lines

500 Lines or Less

stoneknifeforth

a tiny self-hosted Forth implementation

urscheme

simple-computer

the scott CPU from "But How Do It Know?" by J. Clark Scott

schism

A self-hosting Scheme to WebAssembly compiler

SpaceVim

A modular Vim/Neovim configuration

nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

vimrc

The ultimate Vim configuration (vimrc)

convnetjs

Deep Learning in Javascript. Train Convolutional Neural Networks (or ordinary ones) in your browser.

jeforth

a minimalist forth implementation in javascript

jeforth.3we

A FORTH running on HTA, HTML, Node.js, NW.js, Chrome Extension, Chrome App, and more. Play now:

ulisp

A compiler for a lisp-like language targeting LLVM IR, x86 assembly

idyll

Create explorable explanations and interactive essays.

esverify

ECMAScript verification with SMT solvers

madoko

Madoko is a fast markdown processor for high quality academic and technical articles

koka

Koka language compiler and interpreter