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:
- This package is an example of how to organize and compile a cython package☆10Oct 18, 2022Updated 3 years ago
- DabHand/GNU C Tutorial book☆11Dec 13, 2015Updated 10 years ago
- React component using Khan Academy's Katex library☆11Dec 7, 2022Updated 3 years ago
- Adobe Swatch Exchange (ASE) to JSON Converter☆12Apr 21, 2015Updated 10 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
- Aspect-oriented programming for JavaScript☆10Oct 2, 2023Updated 2 years ago
- A GameBoy Emulator written in Rust, written as a learning project for both☆10Jun 6, 2023Updated 2 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- Causal Variant Evidence Mapping with Non-parametric resampling☆12Dec 16, 2020Updated 5 years ago
- A simple shell implementation with built-in commands and coreutils☆11Feb 15, 2022Updated 4 years ago
- Organize test codes for all languages☆10Mar 23, 2025Updated 11 months ago
- A flexible C++ formatting library designed for i18n, using embedded script to output plural forms, grammatical gender, etc. correctly☆11Feb 6, 2026Updated last month
- A generic makefile for compiling C, C++ and Fortran source code☆10May 26, 2014Updated 11 years ago
- Ruby client gem for the unofficial Jisho API☆10Mar 17, 2023Updated 2 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- Data partitioning toolbox for tomographic reconstruction☆14Nov 3, 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
- Ctftbx: Time-Frequency toolbox for MatLab in C☆12May 12, 2014Updated 11 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
- Old academic project for my PhD - no longer maintained by me: fast gaussian and derivative convolutional filters☆10May 1, 2019Updated 6 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
- Erlang-based Cucumber-like BDD☆20Sep 8, 2010Updated 15 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Updated this week
- ☆12Oct 22, 2021Updated 4 years ago
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- ESpec: Behaviour driven development framework for Erlang☆45Feb 16, 2015Updated 11 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- Example of building Python API of a Fortran project (that runs with fpm) with meson☆13Dec 26, 2024Updated last year
- FFTPack aims to provide an easily usable package of functions using FFTPack library (Fortran 77).☆12May 20, 2021Updated 4 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 7 years ago