burz/cfl external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

burz/cfl

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/burz/cfl)

Close

burz / cflView on GitHubMore

• External links
• Readme badge

a Compileable statically typed Functional programming Language

☆11Jun 11, 2015Updated 10 years ago

Alternatives and similar repositories for cfl

Users that are interested in cfl are comparing it to the libraries listed below

• bloomberg / userchroot

  View on GitHub
  A tool to allow controlled access to 'chroot' functionality by users without root permissions
  ☆20Jul 1, 2020Updated 5 years ago
• burz / Feval

  View on GitHub
  evaluation using f-algebras
  ☆23Sep 7, 2015Updated 10 years ago
• bloomberg / clangmetatool

  View on GitHub
  A framework for reusing code in Clang tools
  ☆127Feb 26, 2026Updated 3 weeks ago
• alexisgea / Neat-For-Speed

  View on GitHub
  Small Neural Network car racing game made with Unity and C#.
  ☆12Apr 21, 2017Updated 8 years ago
• flo-l / rust-sliding_windows

  View on GitHub
  This repository contains a non-copying implementation of a sliding windows iterator adaptor.
  ☆11Jun 17, 2017Updated 8 years ago
• greenmughal / rustyplanet

  View on GitHub
  3d planet demo in gfx/rust
  ☆14Jan 13, 2017Updated 9 years ago
• 2mol / solar-system

  View on GitHub
  https://2mol.github.io/solar-system/
  ☆10Jul 12, 2021Updated 4 years ago
• Qqwy / Jux

  View on GitHub
  ☆14Jan 31, 2021Updated 5 years ago
• redien / limbus

  View on GitHub
  A cross-platform game library in the public domain
  ☆15Aug 12, 2019Updated 6 years ago
• valarauca / consistenttime

  View on GitHub
  Constant Time Operations for Crypto Libraries
  ☆10Jun 22, 2017Updated 8 years ago
• idiomic / GJK-3D-Intersection

  View on GitHub
  ☆11Dec 21, 2018Updated 7 years ago
• bhurt / caraml

  View on GitHub
  A toy ML-like programming language
  ☆16Sep 2, 2012Updated 13 years ago
• estools / esvalid

  View on GitHub
  confirm that a SpiderMonkey format AST represents an ECMAScript program
  ☆27Aug 24, 2015Updated 10 years ago
• thehydroimpulse / rust-fsm

  View on GitHub
  A Rust Finite State Machine (FSM)
  ☆13Feb 1, 2014Updated 12 years ago
• kdrnic / TriangleBox.js

  View on GitHub
  Implements collision between triangles and AABBs through the separating axis theorem (SAT).
  ☆10Nov 16, 2014Updated 11 years ago
• vqns / polymlb

  View on GitHub
  ML Basis for Poly/ML
  ☆13Oct 18, 2025Updated 5 months ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• RaduMC / M3G2FBX

  View on GitHub
  Command line 3D model converter for Real Racing 3, NFS: Most Wanted and NFS: No Limits
  ☆16Dec 7, 2015Updated 10 years ago
• driedfruit / jenkins-minimal-perfect-hash

  View on GitHub
  git mirror of Bob Jenkins' Minimal Perfect Hashing article and code
  ☆16Jun 8, 2021Updated 4 years ago
• pa-ba / McCarthy-Painter

  View on GitHub
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Aug 22, 2017Updated 8 years ago
• paulsonkoly / chessdb

  View on GitHub
  A web based chess DB viewer
  ☆14Mar 30, 2022Updated 3 years ago
• paenko / raft-rs

  View on GitHub
  [Incomplete] A Raft implementation in Rust
  ☆15Jun 4, 2017Updated 8 years ago
• matteobertozzi / carthage

  View on GitHub
  Pure C Data Structure and Utils
  ☆20Feb 2, 2011Updated 15 years ago
• memgc / docs

  View on GitHub
  ☆10May 26, 2016Updated 9 years ago
• shomali11 / xredis

  View on GitHub
  Go Redis Client
  ☆19Jun 8, 2019Updated 6 years ago
• diku-dk / sml-parse

  View on GitHub
  Standard ML Parser Combinator Library
  ☆17Jan 9, 2026Updated 2 months ago
• kamalmarhubi / rust-bisect

  View on GitHub
  Find the Rust nightly that that changed some behavior
  ☆18Mar 20, 2016Updated 10 years ago
• nyuichi / r7expander

  View on GitHub
  R7RS expander
  ☆17Aug 18, 2021Updated 4 years ago
• haskell-distributed / distributed-static

  View on GitHub
  Support for static values
  ☆22Sep 3, 2024Updated last year
• synsem / texhs

  View on GitHub
  TeX Parser in Haskell
  ☆11Aug 12, 2017Updated 8 years ago
• camllight / camllight

  View on GitHub
  The Caml Light implementation of the Caml language
  ☆68Mar 10, 2023Updated 3 years ago
• bivory / texture-atlas

  View on GitHub
  C++ texture atlas generator
  ☆17Aug 29, 2015Updated 10 years ago
• gyscos / record

  View on GitHub
  Records and replays input sent in a terminal session.
  ☆29Jan 31, 2023Updated 3 years ago
• Fs02 / EvolveCar

  View on GitHub
  Research on Neuroevolution for Racing Games AI
  ☆11Dec 17, 2015Updated 10 years ago
• graphitemaster / gml

  View on GitHub
  Dynamically typed, higher-order, semi-functional, interpreted and embeddable programming language
  ☆31Oct 7, 2015Updated 10 years ago
• saschagrunert / peel

  View on GitHub
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆25Dec 8, 2017Updated 8 years ago
• Carreau / cffi_magic

  View on GitHub
  %%cffi cell magic for ipython.
  ☆14Aug 22, 2018Updated 7 years ago
• tizian / Spinning-Top-Simulation

  View on GitHub
  A physically-based spinning top simulation.
  ☆11Oct 15, 2022Updated 3 years ago
• EmilianC / Gemcutter-Samples

  View on GitHub
  Sample code for the Gemcutter game framework.
  ☆12Jan 20, 2026Updated 2 months ago