Alternatives and similar repositories for histogram

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

• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 8 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 4 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 2 weeks ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• tpetricek / nanospeak
  ☆15Updated 2 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• polytypic / JoinCML
  ☆15Updated 10 years ago
• SchlenkR / TypeFighter
  A graph based approach to type inference written in F#
  ☆16Updated last month
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• ocsigen / reactiveData
  Functional reactive programming with incremental changes in data structures
  ☆52Updated last month
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• fsprojects / FSharp.Linq.ComposableQuery
  Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
  ☆69Updated 5 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆47Updated last month
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• cantsin / fsharp-finger-trees
  Finger Trees in F#.
  ☆8Updated 7 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 8 years ago
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆22Updated last month
• algebraic-graphs / fsharp
  Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
  ☆29Updated 6 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated 3 weeks ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 4 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• palladin / idris-snippets
  Collection of Idris snippets
  ☆22Updated last year
• palladin / multi-stage-fsharp
  Multi-stage Programming in F#
  ☆12Updated 9 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 5 years ago