Set monad
☆19Jun 11, 2023Updated 2 years ago
Alternatives and similar repositories for set-monad
Users that are interested in set-monad are comparing it to the libraries listed below
Sorting:
- A template for structuring your Carp packages☆18May 9, 2020Updated 5 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- Hom - React.JS for Haskell!☆38Oct 2, 2014Updated 11 years ago
- Analysis of font shape using Variational Autoencoder with Convnets☆24Mar 24, 2023Updated 2 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Sep 10, 2019Updated 6 years ago
- A LaTeX template for writing a thesis at CU Boulder☆12Apr 2, 2024Updated last year
- Web-based svg editor with plugin-centric architecture☆32Updated this week
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- ☆27Feb 4, 2026Updated last month
- jQuery crossword plugin☆10Oct 2, 2015Updated 10 years ago
- ☆11May 12, 2025Updated 9 months ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- ☆10Jan 23, 2018Updated 8 years ago
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- Tomography visualizer for EE103☆10Sep 8, 2015Updated 10 years ago
- A ruby ffi interface to SWI-Prolog that goes both ways.☆10Jul 21, 2023Updated 2 years ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆62Feb 28, 2026Updated last week
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- A somewhat condensed, Univers-inspired sans serif with integrated Helmholtz-Ellis Just Intonation accidentals.☆11Apr 2, 2025Updated 11 months ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- ☆11Jan 9, 2018Updated 8 years ago
- Lightweight Maven repository software☆10Nov 18, 2020Updated 5 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- The Russolo typeface☆10Jan 4, 2026Updated 2 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Apr 3, 2025Updated 11 months ago
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆11Nov 21, 2025Updated 3 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- Source code to Find, Model and manipulate Planetary Transits☆10Mar 17, 2020Updated 5 years ago
- ChIP-seq peak calling with GC effects adjustment☆10Jul 5, 2018Updated 7 years ago
- 🌅 A Python script to set the desktop background to the top rated image of a given subreddit☆10Dec 15, 2020Updated 5 years ago
- The collection of stuff that I found helpful and interesting to store while playing else Heart.Break() game☆11Mar 9, 2023Updated 3 years ago
- Nested Dichotomy Logistic Regression Models☆10Updated this week
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year