Compile-time metaprogramming for OCaml
☆76Aug 5, 2024Updated last year
Alternatives and similar repositories for fan
Users that are interested in fan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago
- A collection of tools to manage the configuration of OCaml projects☆54Aug 19, 2015Updated 10 years ago
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- a book about ocaml☆189Apr 24, 2017Updated 9 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PL Wonks website☆13May 11, 2026Updated last week
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- OCaml based version of space-invaders☆14Aug 27, 2015Updated 10 years ago
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 11 years ago
- ☆18Mar 14, 2016Updated 10 years ago
- Perl6 User's Golfing System in Haskell☆36Mar 5, 2012Updated 14 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- OCaml, Meet Web.☆158Oct 8, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A compiler from ML to C++ template language☆158Aug 27, 2015Updated 10 years ago
- OCaml documentation generator☆34Oct 2, 2017Updated 8 years ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Modern Compiler Implementation in ML☆11May 7, 2017Updated 9 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Mar 31, 2016Updated 10 years ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 9 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆12Jul 29, 2025Updated 9 months ago
- Arena allocator for Python objects.☆14Apr 25, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Unofficial git mirror of the BER MetaOCaml patchset.☆71May 6, 2025Updated last year
- A meta-data driven command line parser for Node.js☆50Jan 21, 2014Updated 12 years ago
- ☆31Updated this week
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- An OCaml javascript kernel for the IPython notebook☆58Sep 3, 2017Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Contains the samples of the book "Getting Started with TypeScript"☆12Apr 29, 2021Updated 5 years ago
- Detect common errors in OCaml code☆67Oct 18, 2018Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Oct 6, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Nov 7, 2018Updated 7 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Jan 12, 2023Updated 3 years ago
- A library to build and execute typed scientific workflows☆49Updated this week
- Write OCaml, run on Electron.☆78Oct 3, 2025Updated 7 months ago
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆20Dec 9, 2025Updated 5 months ago
- Streaming XML codec for OCaml☆55Jan 2, 2026Updated 4 months ago