cblp/funlangs 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

cblp/funlangs

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/cblp/funlangs)

Close

cblp / funlangsView on GitHubMore

• External links
• Readme badge

Functional languages index

☆42Sep 23, 2019Updated 6 years ago

Alternatives and similar repositories for funlangs

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

• qnikst / irc-simple

  View on GitHub
  ☆30Mar 22, 2018Updated 7 years ago
• edwinb / Yaffle

  View on GitHub
  A core language and API for dependently typed languages
  ☆97Feb 19, 2025Updated last year
• whitehackrpg / whiteshell

  View on GitHub
  A repository for a shell with Whitehack RPG tools.
  ☆12Jun 21, 2023Updated 2 years ago
• dbousamra / imgui-haskell

  View on GitHub
  Haskell bindings for Dear Imgui
  ☆11Dec 19, 2019Updated 6 years ago
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 3 months ago
• serokell / style

  View on GitHub
  Collection of programming style guides used in Serokell
  ☆12Jul 4, 2022Updated 3 years ago
• Tapad / sbt-gcs

  View on GitHub
  An sbt plugin for publishing artifacts to Google Cloud Storage. (archived as unmaintained)
  ☆10Sep 5, 2023Updated 2 years ago
• christian-marie / xxhash

  View on GitHub
  Haskell implementation of the XXHash algorithm
  ☆16Dec 3, 2025Updated 2 months ago
• evdenis / verker

  View on GitHub
  Linux kernel library functions formally verified.
  ☆52Jan 11, 2026Updated last month
• idris-industry / idris-ffi-example

  View on GitHub
  A minimal example of the Idris C FFI
  ☆14May 15, 2015Updated 10 years ago
• plow-technologies / hspec-golden-aeson

  View on GitHub
  Use tests to monitor changes in Aeson serialization
  ☆18Aug 27, 2024Updated last year
• brawnski / git-annex

  View on GitHub
  a mirror of git-annex's main git repository
  ☆19Aug 10, 2011Updated 14 years ago
• anton-trunov / csclub-coq-course-spring-2021

  View on GitHub
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Feb 28, 2023Updated 3 years ago
• jackoe / discourse-tui

  View on GitHub
  A terminal UI for discourse
  ☆13Jul 25, 2020Updated 5 years ago
• AleXoundOS / haskell-stack-mirror-script

  View on GitHub
  Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.
  ☆15Feb 22, 2020Updated 6 years ago
• evolution-gaming / scassandra

  View on GitHub
  Cassandra client in scala
  ☆12Dec 16, 2025Updated 2 months ago
• cocreature / postgresql-named

  View on GitHub
  Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
  ☆13Feb 19, 2018Updated 8 years ago
• lspitzner / butcher

  View on GitHub
  haskell library to parse commandline args - an alternative to optparse-applicative
  ☆20Apr 28, 2023Updated 2 years ago
• lagunoff / idris-elm

  View on GitHub
  The Elm architecture ported to Idris Programming language
  ☆14Feb 27, 2019Updated 7 years ago
• amarpotghan / dhall-scala

  View on GitHub
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39May 2, 2019Updated 6 years ago
• mvv / sager

  View on GitHub
  Generic records for Scala
  ☆16Mar 7, 2022Updated 3 years ago
• ItsMeForLua / cl-freelock

  View on GitHub
  A lock-free concurrent data structures library for Common Lisp.
  ☆27Nov 29, 2025Updated 3 months ago
• nfrisby / tcplugins-zurihac2020

  View on GitHub
  ZuriHac 2020 GHC typechecker plugins project
  ☆19Aug 15, 2021Updated 4 years ago
• lockie / d2clone-kit

  View on GitHub
  Mirror of https://gitlab.com/lockie/d2clone-kit
  ☆13Jan 27, 2024Updated 2 years ago
• hadronized / wavefront

  View on GitHub
  Haskell Wavefront OBJ loader library
  ☆20Dec 23, 2023Updated 2 years ago
• eayus / sirdi

  View on GitHub
  Package manager for Idris
  ☆37Jul 21, 2022Updated 3 years ago
• jkff / greg

  View on GitHub
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆37Mar 18, 2015Updated 10 years ago
• benkolera / spacemacs-hie-nix

  View on GitHub
  Spacemacs layer for using a nix friendly haskell-ide-engine lsp
  ☆16Feb 28, 2019Updated 7 years ago
• idris-community / katla

  View on GitHub
  ☆21May 19, 2025Updated 9 months ago
• dos65 / make

  View on GitHub
  ☆16Feb 10, 2025Updated last year
• hirrolot / slice99

  View on GitHub
  Memory slices for C99
  ☆50Mar 17, 2025Updated 11 months ago
• ruricolist / core-lisp

  View on GitHub
  Hygiene-compatible Lisp dialect embedded in CL
  ☆21Dec 2, 2023Updated 2 years ago
• haskell / entropy

  View on GitHub
  Easy entropy source for Haskell users.
  ☆28Feb 8, 2026Updated 3 weeks ago
• hercules-ci / warp-systemd

  View on GitHub
  Socket activation and other systemd integration for the Warp web server (WAI)
  ☆22Feb 3, 2026Updated 3 weeks ago
• brendanhay / ede

  View on GitHub
  Templating language with similar syntax and features to Liquid or Jinja2.
  ☆47Dec 5, 2024Updated last year
• Octachron / rational_in_types

  View on GitHub
  Type-level rational puzzles in OCaml
  ☆25Jun 8, 2016Updated 9 years ago
• rainbyte / openwhisk-wrapper

  View on GitHub
  Haskell-based OpenWhisk services
  ☆21Aug 10, 2016Updated 9 years ago
• DieracDelta / flake_generator

  View on GitHub
  Generate Nix Flakes imperatively.
  ☆20Nov 28, 2023Updated 2 years ago
• prepor / ocaml-edn

  View on GitHub
  EDN reader and writer for Ocaml
  ☆21Oct 13, 2022Updated 3 years ago