Skip to content
View mnxn's full-sized avatar
  • Portland, OR
  • 21:35 (UTC -08:00)

Block or report mnxn

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

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Rust 2,490 237 Updated Feb 23, 2025

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Haskell 131 12 Updated Aug 28, 2020

ArchLinux based WSL Distribution. Supports multiple install.

Makefile 7,149 206 Updated Aug 7, 2024

A fancy diagnostics & error reporting crate

Rust 1,873 79 Updated Nov 1, 2024

Write expressive, high-performance parsers with ease.

Rust 3,803 164 Updated Feb 14, 2025

A ppx rewriter that provides idiomatic selective `open`s in OCaml.

OCaml 10 Updated Aug 19, 2021

Tree Style Tab, Show tabs like a tree.

JavaScript 3,561 280 Updated Feb 21, 2025

The modern video player for macOS.

Swift 39,485 2,604 Updated Feb 20, 2025

userChromeJS / autoconfig.js and extensions

JavaScript 1,159 92 Updated Feb 10, 2025

🧡 Everything is RSSible

TypeScript 35,358 7,773 Updated Feb 24, 2025

Collection of userstyles affecting the browser

CSS 3,779 342 Updated Feb 13, 2025

Add context menu to macOS Finder

Swift 127 13 Updated Jan 31, 2021

Compiler from OCaml to Javascript.

OCaml 991 191 Updated Feb 23, 2025

ONE-SHOT Algebraic Effects for Lua!

Lua 49 Updated Jun 16, 2022

1ML prototype interpreter

OCaml 279 18 Updated Jun 28, 2020

OpenResty's Branch of LuaJIT 2

C 1,290 207 Updated Jan 17, 2025

Mirror of the LuaJIT git repository

C 4,902 1,003 Updated Jan 13, 2025

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 37,582 2,700 Updated Feb 24, 2025

A Flash Player emulator written in Rust

Rust 16,190 843 Updated Feb 24, 2025

Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine

C++ 14,085 905 Updated Feb 23, 2025

Easy OCaml bindings for Javascript libraries

OCaml 176 31 Updated Jan 16, 2025

preprocessor for easier stub generation with ocaml-ctypes

OCaml 56 5 Updated Nov 18, 2022

An extremely fast bundler for the web

Go 38,596 1,184 Updated Feb 8, 2025

Visual Studio Code extension for OCaml

OCaml 349 78 Updated Feb 23, 2025

A Rust compiler front-end for IDEs

Rust 14,656 1,681 Updated Feb 24, 2025

ScalaFX simplifies creation of JavaFX-based user interfaces in Scala

Scala 677 66 Updated Nov 1, 2024

A Proof-oriented Programming Language

F* 2,793 238 Updated Feb 24, 2025

TestDisk & PhotoRec

C 1,776 214 Updated Feb 20, 2025