NoHomey / logic-programming-2019-2020Links
Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020
☆10Updated 4 years ago
Alternatives and similar repositories for logic-programming-2019-2020
Users that are interested in logic-programming-2019-2020 are comparing it to the libraries listed below
Sorting:
- An Android app to browse GitHub repositories☆15Updated 2 months ago
- Extensible sums and products for Haskell☆19Updated 2 years ago
- ☆10Updated 2 months ago
- experiments with pext/pdep and codebruijn syntax☆17Updated 6 years ago
- Python tool for generating undirected weighted graphs representing road networks.☆11Updated last year
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 4 years ago
- Overloaded plugin☆31Updated last year
- Find or build all reverse dependencies of a Haskell package using Nix☆14Updated 5 years ago
- Access unicode character database☆18Updated 4 months ago
- 📤 defer instance resolution until runtime☆18Updated 6 years ago
- Applicative maps☆16Updated last year
- A GHC source plugin which detects opportunities to use coerce☆17Updated 7 years ago
- a search engine for humans☆19Updated 3 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 5 years ago
- HLint as a GHC source plugin.☆31Updated last year
- ☆37Updated last month
- An implementation of first-class pattern matches in Haskell.☆13Updated 5 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago
- A contention-free STM hash map for Haskell☆14Updated 4 years ago
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆22Updated 2 months ago
- Boring and Absurd types☆18Updated last year
- ScopeT and ScopeH☆13Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 6 months ago
- Generate tags file for haskell modules (GHC)☆41Updated 5 months ago
- ☆20Updated 2 years ago
- A Haskell library for loading configuation data from environment variables.☆17Updated 3 years ago
- 🐙 discover Dicts☆14Updated 8 years ago
- Damian Nadales's sandbox☆12Updated 2 years ago
- ☆24Updated 3 months ago
- ☆58Updated 2 weeks ago