n queens with the logic monad
☆20Jan 10, 2015Updated 11 years ago
Alternatives and similar repositories for queenslogic
Users that are interested in queenslogic are comparing it to the libraries listed below
Sorting:
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- Composable probability monads in Haskell.☆22Jul 17, 2015Updated 10 years ago
- Command rewriter☆18Sep 28, 2016Updated 9 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 years ago
- Game of life using SDL2, OpenGL and Yampa☆24Mar 4, 2023Updated 2 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- 🔫 GitHub application to suggest hints☆26Nov 6, 2020Updated 5 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- A guideline compliant Tetris clone made with Haskell.☆25Jan 13, 2021Updated 5 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- Bidirectional Parsing. Work in Progress☆33Sep 23, 2024Updated last year
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆41Sep 1, 2025Updated 6 months ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆84Jan 1, 2022Updated 4 years ago
- A CPP Console application that uses ftxui, and find the path between two points using diferent algoritms.☆13Jan 28, 2025Updated last year
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 7 years ago
- Implementation of a sparse 64-tree with hashing and modifications. Based on https://dubiousconst282.github.io/2024/10/03/voxel-ray-tracin…☆14Nov 19, 2025Updated 3 months ago
- Peter Taylor research☆10Jul 18, 2015Updated 10 years ago
- Simulate print CSS media using JavaScript☆13Nov 11, 2017Updated 8 years ago
- ☆10Jan 14, 2026Updated last month
- Port of Peter Meyers Timewave Zero to JS☆16Jun 13, 2012Updated 13 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 7 years ago
- A collection of utility scripts and other tools that make working with Crabgrass easier.☆11Apr 3, 2020Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆42Jan 6, 2022Updated 4 years ago
- Madlang is a language for generative literature☆51Jul 10, 2018Updated 7 years ago
- A continuation-based backtracking logic programming monad☆93Nov 13, 2024Updated last year