haskell / winghciLinks
Simple Windows GUI for GHCi.
☆17Updated 9 years ago
Alternatives and similar repositories for winghci
Users that are interested in winghci are comparing it to the libraries listed below
Sorting:
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- A small implementation of higher-order unification☆189Updated 7 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 months ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 8 years ago
- Maintenance of the pointfree Hackage package.☆146Updated 9 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆100Updated 9 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- SPLV20 course notes☆112Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- A demo implementation of a simple dependently-typed language☆597Updated 8 months ago
- agda-mode on VS Code☆176Updated this week
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- Benchmarks for capture-avoiding substitution☆119Updated last month
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Fake dependent types in Haskell using singletons☆292Updated 3 months ago
- Haskell library to load & save pictures☆239Updated last year
- Contextual types meet mechanized metatheory!☆195Updated 2 months ago
- Sample code from "Type Driven Development with Idris"☆166Updated 7 years ago
- an implementation of stuck macros☆144Updated 3 weeks ago
- Spartan type theory☆269Updated last year
- Programming library for Agda☆130Updated 11 months ago
- A proof assistant for general type theories☆306Updated 9 months ago
- Total Parser Combinators in Agda☆130Updated 2 years ago
- Prototype type inference engine☆203Updated 5 months ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Updated 10 months ago