chrisnevers

Cat Enthusiast 🐱

@reach-shLynn, MA

Pinned Repositories

bidirectional-typechecking
Bidirectional type checking for predicative System F
Language:OCaml6 1 20
bitlib
0️⃣ 1️⃣ OCaml library for bit/byte operations
Language:OCaml8 1 00
jit-compiler
Implementation of a byte-code compiler and lazy virtual machine
Language:C++2 1 01
macro-expander
Implementation of a hygienic macro expander
Language:OCaml9 2 10
mkocaml
🔨 Tool to generate OCaml projects
Language:OCaml59 3 23
monadic-parser-combinator
Monadic parser combinator with position information
Language:OCaml0 2 00
mysql8
🥞 An OCaml wrapper for the MySQL C API
Language:OCaml1 3 11
ocamline
👨🏻‍💻 Command line interface for user input
Language:OCaml36 2 71
racket-compiler
"Racket" to x86 compiler
Language:OCaml6 1 00
reach-lang
Reach: The Safest and Smartest DApp Programming Language
Language:Haskell579 15 172170

chrisnevers's Repositories

chrisnevers/mkocaml
🔨 Tool to generate OCaml projects
Language:OCaml59 3 23
chrisnevers/ocamline
👨🏻‍💻 Command line interface for user input
Language:OCaml36 2 71
chrisnevers/bitlib
0️⃣ 1️⃣ OCaml library for bit/byte operations
Language:OCaml8 1 00
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
Language:OCaml6 1 20
chrisnevers/racket-compiler
"Racket" to x86 compiler
Language:OCaml6 1 00
chrisnevers/jit-compiler
Implementation of a byte-code compiler and lazy virtual machine
Language:C++2 1 01
chrisnevers/lambda-calculus
Implementation of the lambda calculus
Language:OCaml2 2 01
chrisnevers/ml-modules
An implementation of ML modules
Language:OCaml2 2 0
chrisnevers/ocaml-youtube-dl
An OCaml wrapper for the youtube-dl command line tool
Language:OCaml2 1 01
chrisnevers/mysql8
🥞 An OCaml wrapper for the MySQL C API
Language:OCaml1 3 11
chrisnevers/pretty-html
An indentation sensitive HTML transpiler
Language:OCaml1 1 0
chrisnevers/rusty-theme
Visual Studio Code Color Theme
1 1 1
chrisnevers/monadic-parser-combinator
Monadic parser combinator with position information
Language:OCaml0 2 00
chrisnevers/amulet
A ML-like functional programming language
Language:Haskell1 0
chrisnevers/atom-reach-ide
Reach IDE for Atom
Language:JavaScript1 0
chrisnevers/chrisnevers.github.io
personal web site
Language:HTML1 0
chrisnevers/iterm-themes
iTerm color themes
Language:Shell2 0
chrisnevers/language-reach
Atom language support for Reach
Language:CoffeeScript1 0
chrisnevers/llvm-struct
Notes: How to create an LLVM struct & print it at runtime
Language:LLVM2 0
chrisnevers/minicli
Minimalist OCaml library for command line parsing
Language:OCaml1 0
chrisnevers/music-analyzer
🎸 An OCaml library for analyzing music
Language:OCaml1 02
chrisnevers/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell1 0
chrisnevers/OTP
Haskell implementation of One-Time Passwords algorithms
Language:Haskell1 0
chrisnevers/pygments
Pygments is a generic syntax highlighter written in Python
Language:Python0 0
chrisnevers/reach-ide-sublime
Sublime extension for the Reach programming language
2 02
chrisnevers/reach-lang
Reach: The Safest and Easiest DApp Programming Language
Language:Haskell0 0
chrisnevers/scheme-interpreter
A Scheme interpreter written in Haskell
Language:Haskell2 0
chrisnevers/smt-ide
SMT Language Server - VSCode Extension
Language:TypeScript2 0
chrisnevers/smt-lsp
SMT Language Server Protocol Implementation
Language:Haskell2 0
chrisnevers/software-foundations
Examples and Exercises From Software Foundations
Language:Coq1 0