TakaiKinoko / Cornell_CS3110_OCamlView external linksLinks
code examples and my solution to the exercises in the book Functional Programming in OCaml
☆10Jan 2, 2019Updated 7 years ago
Alternatives and similar repositories for Cornell_CS3110_OCaml
Users that are interested in Cornell_CS3110_OCaml are comparing it to the libraries listed below
Sorting:
- React component using Khan Academy's Katex library☆11Dec 7, 2022Updated 3 years ago
- DabHand/GNU C Tutorial book☆11Dec 13, 2015Updated 10 years ago
- Adobe Swatch Exchange (ASE) to JSON Converter☆12Apr 21, 2015Updated 10 years ago
- This package is an example of how to organize and compile a cython package☆10Oct 18, 2022Updated 3 years ago
- steps to setup a github repository with fpm, and github actions including ford(1) documentation and unit tests☆11Jul 11, 2025Updated 7 months ago
- Causal Variant Evidence Mapping with Non-parametric resampling☆12Dec 16, 2020Updated 5 years ago
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago
- A solutions manual to Stephen H. Friedberg, Arnold J. Insel, Lawrence E. Spence's "Linear Algebra (4/e)".☆10Apr 20, 2021Updated 4 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- Organize test codes for all languages☆10Mar 23, 2025Updated 10 months ago
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 11 years ago
- A simple shell implementation with built-in commands and coreutils☆11Feb 15, 2022Updated 4 years ago
- Ruby client gem for the unofficial Jisho API☆10Mar 17, 2023Updated 2 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- A GameBoy Emulator written in Rust, written as a learning project for both☆10Jun 6, 2023Updated 2 years ago
- Julian macros for wrapping ccall☆14May 27, 2021Updated 4 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Old academic project for my PhD - no longer maintained by me: fast gaussian and derivative convolutional filters☆10May 1, 2019Updated 6 years ago
- Erlang-based Cucumber-like BDD☆20Sep 8, 2010Updated 15 years ago
- Data partitioning toolbox for tomographic reconstruction☆14Nov 3, 2019Updated 6 years ago
- A flexible C++ formatting library designed for i18n, using embedded script to output plural forms, grammatical gender, etc. correctly☆11Feb 6, 2026Updated last week
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Aspect-oriented programming for JavaScript☆10Oct 2, 2023Updated 2 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- A generic makefile for compiling C, C++ and Fortran source code☆10May 26, 2014Updated 11 years ago
- A Scheme interpreter with first-class continuations in circa 900 lines of Java 8/11☆11Apr 9, 2020Updated 5 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 9 months ago
- Full quadruple precision (double-double) data type for numpy☆12May 27, 2025Updated 8 months ago
- Compilation of libraries and applications made easy☆10Sep 11, 2025Updated 5 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- PyTorch Tools for Synthetic Aperture Radar.☆13Jul 3, 2022Updated 3 years ago
- Public Subset of Analysis Software Developed by the SPT-3G Collaboration☆12Feb 4, 2026Updated last week
- A Firefox add-on which provides keyboard navigation like Vim☆10Dec 3, 2019Updated 6 years ago