Giters
Mikail Khan (mkhan45)

mkhan45

Geek Repo

111

followers

65

following

138

stars

Home Page:https://mikail-khan.com

Twitter:@fiiissshh

Github PK Tool:Github PK Tool

Mikail Khan's starred repositories

house

Haskell Operating System

License:NOASSERTIONStargazers:138Issues:0Issues:0

vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Language:CoqLicense:GPL-3.0Stargazers:85Issues:0Issues:0

weval

Language:RustLicense:Apache-2.0Stargazers:139Issues:0Issues:0

Glider

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Language:CLicense:NOASSERTIONStargazers:1463Issues:0Issues:0

lean4-balance-car

Lean4 port of Arduino balance car controller

Language:C++Stargazers:41Issues:0Issues:0

N64Recomp

Tool to statically recompile N64 games into native executables

Language:C++License:MITStargazers:5936Issues:0Issues:0

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:311Issues:0Issues:0

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookLicense:MITStargazers:12809Issues:0Issues:0

snakeTSL

The Snake game created using reactive program synthesis

Language:JavaScriptStargazers:1Issues:0Issues:0

drink-reviews

drink reviews django project

Language:PythonStargazers:1Issues:0Issues:0

VIBES

Verified, Incremental, Binary Editing with Synthesis

Language:OCamlLicense:MITStargazers:45Issues:0Issues:0

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

Language:OCamlLicense:MITStargazers:4475Issues:0Issues:0

recursion-schemes

Generalized bananas, lenses and barbed wire

Language:HaskellLicense:NOASSERTIONStargazers:336Issues:0Issues:0

robottwo

Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.

Language:CoqLicense:GPL-3.0Stargazers:15Issues:0Issues:0

mpl

The MaPLe compiler for efficient and scalable parallel functional programming

Language:Standard MLLicense:NOASSERTIONStargazers:301Issues:0Issues:0

sat-css-tool

Minify CSS files through refactoring

Language:PythonStargazers:257Issues:0Issues:0

elodin

Physics simulation software for space + aerospace

Language:RustStargazers:387Issues:0Issues:0

malbolge-lisp

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

Language:TeXLicense:CC0-1.0Stargazers:472Issues:0Issues:0

ZLUDA

CUDA on AMD GPUs

Language:RustLicense:Apache-2.0Stargazers:8026Issues:0Issues:0

coconut

Simple, elegant, Pythonic functional programming.

Language:PythonLicense:Apache-2.0Stargazers:3978Issues:0Issues:0

game-loop

A Rust crate that implements a frame-rate-independent game loop.

Language:RustStargazers:124Issues:0Issues:0

alphageometry

Language:PythonLicense:Apache-2.0Stargazers:3755Issues:0Issues:0

ordo

Ordo: A minimalist language with row polymorphism

Language:RustStargazers:74Issues:0Issues:0

judgefmt

Language:RustLicense:MITStargazers:3Issues:0Issues:0

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

Language:RustLicense:Apache-2.0Stargazers:209Issues:0Issues:0

syntastica-typst

Tree-sitter syntax highlighting for code blocks in Typst.

Language:RustLicense:GPL-3.0Stargazers:11Issues:0Issues:0

choice

Choice operator in OCaml, providing a backtracking monad

Language:OCamlLicense:BSD-2-ClauseStargazers:24Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:19794Issues:0Issues:0

ntremu

Nintendo DS Emulator

Language:CStargazers:7Issues:0Issues:0

piccolo

An experimental stackless Lua VM implemented in pure Rust

Language:RustLicense:CC0-1.0Stargazers:1496Issues:0Issues:0