Alternatives and similar repositories for histogram:

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

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• SchlenkR / TypeFighter
  A graph based approach to type inference written in F#
  ☆16Updated 4 months ago
• tpetricek / nanospeak
  ☆15Updated 2 years ago
• racket / parser-tools
  ☆13Updated last month
• fsprojects / LSON
  Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)
  ☆14Updated 3 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 9 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 4 months ago
• thautwarm / Fable.Sedlex
  get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!
  ☆15Updated 2 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• pocketberserker / FsMachines
  A stream processing library for F#
  ☆39Updated 9 years ago
• session-type-provider / session-type-provider.github.io
  Session Type Provider Home Page
  ☆11Updated 7 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 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
• fangyi-zhou / FluidTypes
  Simple Refinement types for F#. No longer maintained.
  ☆11Updated 5 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• palladin / idris-snippets
  Collection of Idris snippets
  ☆21Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week