Pinned Repositories
chat
IRC-like relayed TCP chat protocol
eon
Eon Programming Language
Go
Terminal version of the Go board game
hiit
HIIT Exercise Timer App
jsonoo
JSON library for Js_of_ocaml
promise_jsoo
Js_of_ocaml bindings to JS Promises with supplemental functions
TI84CE-Binary
Binary Convertor for TI-84 Plus CE Calculators
vscode-jvm-bytecode-viewer
JVM Bytecode Viewer for VS Code
vscode-ocaml-platform
Visual Studio Code extension for OCaml
mnxn's Repositories
mnxn/promise_jsoo
Js_of_ocaml bindings to JS Promises with supplemental functions
mnxn/jsonoo
JSON library for Js_of_ocaml
mnxn/vscode-jvm-bytecode-viewer
JVM Bytecode Viewer for VS Code
mnxn/TI84CE-Binary
Binary Convertor for TI-84 Plus CE Calculators
mnxn/sys2cyg
Download MSYS2 MinGW packages for Cygwin.
mnxn/vscode-fsharp-fsl-fsy
Highlighting support for FsLex (.fsl) and FsYacc (.fsy) files
mnxn/vscode-lalrpop-highlight
Syntax Highlighting for the LALRPOP Parser Generator
mnxn/Golden-Dracula
A Modified Dracula Theme with Golden Accents
mnxn/chat
IRC-like relayed TCP chat protocol
mnxn/eon
Eon Programming Language
mnxn/Go
Terminal version of the Go board game
mnxn/hiit
HIIT Exercise Timer App
mnxn/ChocAn
mnxn/FStar
Verification system for effectful programs
mnxn/llvm-dune
The official LLVM OCaml binding but built using dune
mnxn/MCounter
A simple counter utility that lives in the macOS menu bar.
mnxn/ocaml-lsp
OCaml Language Server Protocol implementation
mnxn/opam-repository
Main public package repository for opam, the source package manager of OCaml.
mnxn/reddit-rss
improved rss feed for reddit
mnxn/scoop-games
Scoop bucket for open source/freeware games and game-related tools
mnxn/virtualFieldEnvironments
mnxn/vscode-daedalus-theme
A Simple VS Code Theme
mnxn/vscode-gopher-theme
mnxn/vscode-ocaml-mll-mly
DEPRECATED; use https://github.com/ocamllabs/vscode-ocaml-platform
mnxn/vscode-ocaml-platform
Visual Studio Code extension for OCaml
mnxn/weather