Skip to content
View ajk251's full-sized avatar

Block or report ajk251

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

PostScript 111 17 Updated Feb 23, 2020
Rust 61 1 Updated Jun 15, 2026

The Power of Prolog: Introduction to modern Prolog

HTML 1,381 89 Updated Jun 13, 2026
C# 141 3 Updated Jun 17, 2026

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.

C# 16,802 2,954 Updated Jun 15, 2026

Nemerle language. Main repository.

Nemerle 640 94 Updated Mar 5, 2025

Py library to generate SVG visualizations of scientific data

Python 30 2 Updated Jun 10, 2026

Python AST read/write

Python 864 104 Updated Feb 17, 2026

A .NET library for using reflection emit in a fluent way.

C# 35 8 Updated Oct 17, 2024

A command-line search utility for Python ASTs using XPath syntax.

Python 258 57 Updated Apr 20, 2022

A simple (300 lines of code) reproduction of Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction

Python 398 35 Updated Mar 8, 2026

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…

TypeScript 666 12 Updated Apr 28, 2026

A Zotero plugin which integrates Inciteful.xyz.

TypeScript 278 6 Updated May 11, 2026

A plugin template for Zotero.

TypeScript 829 177 Updated Mar 9, 2026

Example implementation of Algorithm W for Hindley-Milner type inference

TeX 83 11 Updated Jun 5, 2026

A native macOS client for Hacker News, built with SwiftUI

Swift 413 13 Updated Feb 27, 2026

Python module to modify bytecode

Python 336 50 Updated Jun 15, 2026

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

C 594 19 Updated Jun 17, 2026

Project page for "The Fuzzing Book"

Jupyter Notebook 1,253 272 Updated Jan 22, 2026

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Rust 46 2 Updated Jun 14, 2026

Scheme macros for non-linear pattern matching with backtracking for non-free data types

Scheme 30 1 Updated Aug 29, 2019

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

Standard ML 35 5 Updated May 18, 2023

CSV parser for Swift

Swift 1,091 194 Updated Dec 16, 2025

A cross-platform declarative UI framework, inspired by SwiftUI.

Swift 1,590 79 Updated Jun 13, 2026

Braid language implementation.

Teal 35 5 Updated Jun 8, 2026

Convert PDF to markdown + JSON quickly with high accuracy

Python 36,176 2,497 Updated Jun 6, 2026

Lisp in WebAssembly

JavaScript 305 13 Updated Oct 1, 2025

Algorithms from Compilling With Continuation (Appel)

OCaml 3 Updated Jul 9, 2018

efficient arrays of booleans for Python

Python 789 109 Updated Jun 17, 2026
Next