8000 Arrow7000 (Aron Adler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Arrow7000's full-sized avatar
👨‍💻
thinking about types
👨‍💻
thinking about types

Sponsoring

@leostera

Organizations

@ahrefs

Block or report Arrow7000

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

The official website of The Institute for Type Safe Memetic Research

HTML 5 1 Updated Jul 9, 2025
Lean 8 1 Updated Jun 19, 2025

HVM3

Haskell 227 21 Updated Jul 8, 2025

A garden of small programming language implementations 🪴

OCaml 270 6 Updated Jul 9, 2025

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Lean 78 5 Updated Jul 10, 2025

Slidev (https://sli.dev) slides for my LambdaConf 2025 presentation, "Chapter and Verse"

5 Updated May 21, 2025

A black letter for the text editor

202 1 Updated May 22, 2025
Lean 2 Updated Jul 2, 2025

Rewriting Principia Mathematica in Lean

Lean 132 1 Updated Nov 20, 2024

The compiler for a Fine programming language.

Haskell 4 Updated Jun 19, 2025

A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).

Lean 3 Updated Jan 30, 2025

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Lean 68 9 Updated Mar 28, 2024

A language server for ATD

OCaml 4 Updated Mar 17, 2025

The core implementation of the Acorn language.

Rust 14 4 Updated Jul 9, 2025

A WebAssembly runtime implemented in TypeScript types

TypeScript 2,304 33 Updated Mar 7, 2025

Visualize Ownership and Lifetimes in Rust

Rust 4,668 101 Updated Jul 10, 2025

Native cross-platform full feature terminal-based sequence editor for git interactive rebase.

Rust 1,678 51 Updated Jun 8, 2025

Lean 4 programming language and theorem prover

Lean 5,938 617 Updated Jul 10, 2025

An ascii art generator that's actually good. Does edge detection and selects the most appropriate characters.

Python 57 7 Updated Mar 30, 2023

An elegant parser combinators library for Typescript (WIP!)

TypeScript 47 Updated Jun 21, 2025

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 296 71 Updated Mar 9, 2024

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Haskell 620 39 Updated May 7, 2025

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

Haskell 60 4 Updated Apr 24, 2024

A modern commutative diagram editor for the web.

JavaScript 3,274 96 Updated Jul 8, 2025

📜 CCL: Categorical Configuration Language, The most elegant configuration language

OCaml 223 2 Updated Feb 21, 2025
OCaml 352 8 Updated Jul 6, 2025

Another attempt to realize my programming language

JavaScript 23 Updated Feb 5, 2025
Haskell 3 Updated Dec 2, 2024

The Flix Programming Language

Scala 2,309 168 Updated Jul 9, 2025

macOS system monitor in your menu bar

Swift 32,354 1,028 Updated Jul 9, 2025
Next
0