joshvera / generative-effectsLinks
Some notes on generative effects
β22Updated 5 years ago
Alternatives and similar repositories for generative-effects
Users that are interested in generative-effects are comparing it to the libraries listed below
Sorting:
- πbarbq is a text based status bar for macOSβ44Updated 4 years ago
- Unison Codebase UIβ46Updated 3 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScriptβ32Updated 2 years ago
- β71Updated 3 years ago
- a datalog interpreter in typescriptβ213Updated 11 months ago
- Some data structures and algorithms written in OCamlβ69Updated 4 years ago
- Repo to track the evolution of notation in arts and sciencesβ148Updated 2 years ago
- A Typed, Composable Database Query Languageβ104Updated 4 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effecβ¦β108Updated 3 years ago
- User Interfaces for Programming Languages: The Compendiumβ28Updated 4 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.β48Updated 10 months ago
- β34Updated 2 years ago
- A structural editor for JSON valuesβ77Updated 3 years ago
- Book: Introduction to Dependent Types with Idrisβ78Updated 2 years ago
- Shared design system and core components for Unison Local and Unison Shareβ26Updated last week
- Talk material for LambdaJam 2014/2015 on denotational designβ122Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.β59Updated 9 months ago
- covid-19 data in Jβ16Updated 4 years ago
- Tutorial / REPL for the lambda calculusβ67Updated last year
- Madlang is a language for generative literatureβ51Updated 7 years ago
- Haskell In New Clothesβ110Updated 5 years ago
- An ultrasmall (~70 loc) React wrapper written in RacketScriptβ62Updated 8 months ago
- SumTypes in TypeScriptβ30Updated 2 years ago
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.β31Updated 2 years ago
- π Kowainik web pageβ31Updated 2 years ago
- An up to date listing of all FP jobs open to folks in Indiaβ16Updated 4 years ago
- Haskell in S-expressionβ176Updated last year
- A dynamic data-driven document development environment (DDDDDE)β85Updated 2 years ago
- parse MiniLaTeX source text and render it into HTMLβ56Updated 7 years ago
- Add support for PureScript components to Gatsbyβ12Updated 2 years ago