- All languages
- ANTLR
- Agda
- Assembly
- BQN
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Emacs Lisp
- F#
- Go
- HTML
- Haskell
- Hy
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Makefile
- Nemerle
- Nim
- OCaml
- Objective-C
- PHP
- Perl
- PostScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TSQL
- TeX
- Teal
- TypeScript
- Vim Script
- XSLT
- Zig
- q
Starred repositories
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
The Power of Prolog: Introduction to modern Prolog
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Py library to generate SVG visualizations of scientific data
A .NET library for using reflection emit in a fluent way.
A command-line search utility for Python ASTs using XPath syntax.
A simple (300 lines of code) reproduction of Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction
Zotero plugin that links your Markdown database to Zotero. Jump directly from Zotero Items to connected Markdown files. Automatically tags Zotero Items so you can easily see which papers you've mad…
A Zotero plugin which integrates Inciteful.xyz.
A plugin template for Zotero.
Example implementation of Algorithm W for Hindley-Milner type inference
A native macOS client for Hacker News, built with SwiftUI
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
Project page for "The Fuzzing Book"
max-sixty / prql
Forked from PRQL/prqlPRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Scheme macros for non-linear pattern matching with backtracking for non-free data types
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
A cross-platform declarative UI framework, inspired by SwiftUI.
Convert PDF to markdown + JSON quickly with high accuracy