Skip to content
View k4b7's full-sized avatar
  • Khan Academy
  • Montreal

Organizations

@yycjs @semantic-math @KaTeX @math-blocks

Block or report k4b7

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
Showing results

A system fetch tool writed 100% in flint

Shell 17 1 Updated Apr 10, 2026
C++ 3 Updated Apr 10, 2026

javascript for 🐜's, a tiny runtime with big ambitions

C 225 10 Updated Apr 14, 2026

The Zap Programming Language

C++ 43 6 Updated Apr 12, 2026

A hobby programming language.

C++ 1 Updated Mar 30, 2026

My 1st JS interpreter for a tiny subset of JS. ABANDONED

C++ 16 Updated Mar 23, 2026

The Hazy Haskell Compiler

Haskell 55 Updated Apr 4, 2026

The Toy Programming Language.

C 254 14 Updated Apr 13, 2026

H-hat quantum programming language

Python 46 26 Updated Apr 9, 2026

Formal verification support for Kotlin

Kotlin 17 1 Updated Apr 14, 2026

reworking quest, but faster

Rust 10 Updated Jul 26, 2025

The Quest programming language

Rust 39 3 Updated May 22, 2022

Noa programming language

C# 12 1 Updated Nov 28, 2025

A programming language for the JVM designed to be amenable to sandboxing

Kotlin 10 1 Updated Jan 27, 2025

A playground for my language design ideas

Kotlin 5 Updated Sep 5, 2025

Empowering everyone to build nonexistent software

Rust 13 Updated Nov 18, 2025

Atlas77 is a programming language in development written in Rust

Rust 44 3 Updated Apr 14, 2026

Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).

C++ 19 1 Updated Oct 10, 2022

A small MIDI sequencer DSL designed around vectors and euclidean rhythms

C++ 109 3 Updated Feb 5, 2026

Clarity, power and performance united

Rust 36 5 Updated Jan 22, 2026

Source code for the Pipefish programming language

Go 183 6 Updated Apr 9, 2026

Smalltalk like programming language

Kotlin 71 3 Updated Apr 3, 2026

Bytecode Format targeted by Hades and eBF, and utilized by Chronos VM Project

3 Updated Mar 5, 2025

Assembly mimic targeting the Gaia Bytecode.

Java 8 Updated Sep 19, 2025

A low-level, general purpose language with DSL-favoring features and memory safety rules

Rust 2 Updated Oct 31, 2025

A functional programming language, mirroring Erlang and Go, but with more OCaml!

OCaml 30 Updated Feb 26, 2026
C 5 Updated Mar 27, 2026

an ergonomic systems general-purpose programming language with extensive metaprogramming and without runtime types or hidden allocations; transpiles to GNU23 providing an optimized Clang distribution

Zig 11 Updated Apr 12, 2026

Learn to code with Wipple.

Rust 38 Updated Apr 5, 2026

Next version of the Escalier compiler written in Go

Go 9 1 Updated Apr 14, 2026
Next