Alternatives and similar repositories for generative-effects:

Users that are interested in generative-effects are comparing it to the libraries listed below

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 4 months ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆55Updated last year
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 6 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• abarbu / servant-reason
  Automatically derive bindings for Servant APIs in Reason
  ☆12Updated 5 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆22Updated 3 weeks ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• tfausak / haskell-knowledge-base
  A knowledge map about Haskell powered by Obsidian.
  ☆16Updated 2 years ago
• hojberg / sums-up
  SumTypes in TypeScript
  ☆30Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• jaredly / reason-lisp-example
  An example of using the lisp syntax for reason/ocaml
  ☆36Updated 6 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 5 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated this week
• qteatime / crochet
  Crochet: A tool for creating and remixing interactive experiences, safely.
  ☆124Updated last year
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆10Updated 9 years ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 3 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆25Updated 2 years ago
• robotlolita / cursed-aoc
  Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
  ☆12Updated 3 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 3 months ago
• chiroptical / chiroptical
  About me
  ☆17Updated 2 months ago