tpetricek / histogram

Related projects ⓘ

Alternatives and complementary repositories for histogram

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• tpetricek / nanospeak
  ☆15Updated last year
• prologbyexample / code
  ☆27Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated 3 weeks ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆24Updated 10 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• SchlenkR / TypeFighter
  A graph based approach to type inference written in F#
  ☆11Updated last month
• stchang / mlish
  ☆21Updated 4 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆25Updated 2 weeks ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 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
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• palladin / logic
  A logic programming library for F#
  ☆45Updated 9 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• rkoeninger / ShenSharp
  Shen for the Common Language Runtime
  ☆33Updated last month
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 2 months ago
• algebraic-graphs / fsharp
  Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
  ☆28Updated 6 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• fsprojects / LSON
  Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)
  ☆14Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 3 years ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 2 years ago