Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / chrisnevers 41 repositories
Cat Enthusiast 🐱
chrisnevers/special-topics-iot
Express server for my IoT project (I Spy With My Little Pi)
Language: JavaScript - Size: 32.2 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
chrisnevers/software-foundations
Examples and Exercises From Software Foundations
Language: Coq - Size: 13.7 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
chrisnevers/reach-lang Fork of reach-sh/reach-lang
Reach: The Safest and Easiest DApp Programming Language
Language: Haskell - Size: 8.77 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
chrisnevers/reach-ide-sublime
Sublime extension for the Reach programming language
Size: 11.7 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 2
chrisnevers/scheme-interpreter
A Scheme interpreter written in Haskell
Language: Haskell - Size: 14.6 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
chrisnevers/smt-lsp
SMT Language Server Protocol Implementation
Language: Haskell - Size: 252 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
chrisnevers/rusty-theme
Visual Studio Code Color Theme
Size: 569 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0
chrisnevers/scripts
My personal scripts
Language: Python - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
chrisnevers/OTP Fork of haskell-hvr/OTP
Haskell implementation of One-Time Passwords algorithms
Language: Haskell - Size: 33.2 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
chrisnevers/pretty-html
An indentation sensitive HTML transpiler
Language: OCaml - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
chrisnevers/pygments Fork of pygments/pygments
Pygments is a generic syntax highlighter written in Python
Language: Python - Size: 17.1 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
chrisnevers/opam-repository Fork of ocaml/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language: Shell - Size: 81.2 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
chrisnevers/ocaml-youtube-dl
An OCaml wrapper for the youtube-dl command line tool
Language: OCaml - Size: 8.79 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 2 - Forks: 1
chrisnevers/music-analyzer
🎸 An OCaml library for analyzing music
Language: OCaml - Size: 3.91 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 2
chrisnevers/mysql8
🥞 An OCaml wrapper for the MySQL C API
Language: OCaml - Size: 99.6 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 1 - Forks: 1
chrisnevers/monadic-parser-combinator
Monadic parser combinator with position information
Language: OCaml - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
chrisnevers/ml-modules
An implementation of ML modules
Language: OCaml - Size: 7.81 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0
chrisnevers/minimal-react-boilerplate
Includes babel (env), react, webpack, and hot-reloading
Language: JavaScript - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
chrisnevers/minicli Fork of UnixJunkie/minicli
Minimalist OCaml library for command line parsing
Size: 26.4 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
chrisnevers/menhir
An example Menhir parser in OCaml
Language: OCaml - Size: 2.45 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
chrisnevers/llvm-struct
Notes: How to create an LLVM struct & print it at runtime
Language: LLVM - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
chrisnevers/llvm
Notes and examples of LLVM
Language: LLVM - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
chrisnevers/lambda-calculus
Implementation of the lambda calculus
Language: OCaml - Size: 56.6 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1
chrisnevers/language-reach
Atom language support for Reach
Language: CoffeeScript - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
chrisnevers/jit-compiler
Implementation of a byte-code compiler and lazy virtual machine
Language: C++ - Size: 303 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
chrisnevers/iterm-themes
iTerm color themes
Language: Shell - Size: 820 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
chrisnevers/college-bookstore
Android application that allows students to sell their used textbooks
Language: Java - Size: 373 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
chrisnevers/ck-machine
Implementation of a CK machine
Language: OCaml - Size: 3.91 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0
chrisnevers/cek-machine
Implementation of a CEK machine
Language: OCaml - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0
chrisnevers/atom-reach-ide
Reach IDE for Atom
Language: JavaScript - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
chrisnevers/amulet Fork of amuletml/amulet
A ML-like functional programming language
Language: Haskell - Size: 3.5 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
chrisnevers/mkocaml
🔨 Tool to generate OCaml projects
Language: OCaml - Size: 30.3 KB - Last synced: 25 days ago - Pushed: about 3 years ago - Stars: 60 - Forks: 3
chrisnevers/macro-expander
Implementation of a hygienic macro expander
Language: OCaml - Size: 1.31 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 9 - Forks: 0
chrisnevers/bitlib
0️⃣ 1️⃣ OCaml library for bit/byte operations
Language: OCaml - Size: 26.4 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 8 - Forks: 0
chrisnevers/type-inference
Implementation of Algorithm W
Language: OCaml - Size: 8.79 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
Language: OCaml - Size: 604 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 5 - Forks: 0
chrisnevers/ocamline
👨🏻💻 Command line interface for user input
Language: OCaml - Size: 80.1 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 36 - Forks: 1
chrisnevers/racket-compiler
"Racket" to x86 compiler
Language: OCaml - Size: 430 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 6 - Forks: 0
chrisnevers/smt-ide
SMT Language Server - VSCode Extension
Language: TypeScript - Size: 351 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
chrisnevers/chrisnevers.github.io
personal web site
Language: HTML - Size: 5.97 MB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
chrisnevers/ocaml Fork of lucasaiu/ocaml
OCaml "reentrant runtime" experimental branch
Size: 58.7 MB - Last synced: about 1 month ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0