haochuan / dot-files
My personal dot files
☆10Updated 2 years ago
Alternatives and similar repositories for dot-files:
Users that are interested in dot-files are comparing it to the libraries listed below
- Discussion Seminar: Philosophy of Programming Lanugages☆13Updated 10 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Updated 8 years ago
- Tern plugin adding JSX support☆21Updated 7 years ago
- ReasonML Example using Material-UI and a REST API☆9Updated 7 years ago
- Prolog Projects (Artificial Intelligence, Encryption)☆7Updated 10 years ago
- persistent-mode afl-fuzz for ocaml☆17Updated 4 months ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆10Updated 10 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 5 years ago
- The spacetime framework for simulations☆20Updated 4 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- ☆20Updated last year
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- Dealing with Flags and Options☆12Updated 3 years ago
- About me☆17Updated 5 months ago
- Integration of ocp-indent to vim.☆29Updated 7 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- Reference of basic commands to get comfortable with OCaml.☆80Updated 5 years ago
- Asynchronous completion for OCaml in vim or neovim☆25Updated 4 years ago
- Show selected text in Vim on Github☆61Updated 6 years ago
- αProlog☆17Updated last year
- machine fusion☆16Updated 6 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆17Updated 4 years ago
- Fast distributed-memory oscillatory integration via the butterfly algorithm☆8Updated 11 years ago
- Generation of comparison functions from types☆24Updated 4 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆31Updated last month
- Generate ReasonReact Pages from Markdown☆17Updated 6 years ago
- A semantically unified SQL and NoSQL query and update system☆17Updated 6 years ago
- A pure subset of Prolog, implemented in Haskell☆31Updated 11 years ago
- Support code for Programming Languages (COMPSCI631)☆7Updated 5 years ago