EOPL in Haskell
☆22Feb 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for Lecture_EOPL
Users that are interested in Lecture_EOPL are comparing it to the libraries listed below
Sorting:
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- ☆10May 11, 2023Updated 2 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated last year
- Solver with Interface window for Cloudflare Turnstile and other Captchas.☆13Oct 7, 2024Updated last year
- ☆36Nov 7, 2025Updated 3 months ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- 도장 및 서명을 svg 형태로 생성하기 위한 라이브러리 입니다.☆11Dec 5, 2022Updated 3 years ago
- ☆10Nov 17, 2022Updated 3 years ago
- Competitive programming utilities in Haskell☆41Jan 11, 2026Updated last month
- This program is a utility that reads the internal information of Windows Subsystem for Linux from the system and outputs the data to a st…☆12Dec 8, 2022Updated 3 years ago
- A cross-platform dotfiles manager☆14Jan 19, 2026Updated last month
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- ☆11Dec 12, 2021Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Use dhall as an external datasource☆11Apr 16, 2025Updated 10 months ago
- ☆11Jun 9, 2021Updated 4 years ago
- 📦 Initialize JSON data according to type schema☆11May 10, 2021Updated 4 years ago
- Automatic code generator for training Reinforcement Learning policies☆11Jan 3, 2021Updated 5 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Simple KCAPTCHA solver using YOLOv8☆14Mar 25, 2025Updated 11 months ago
- Node.js powered chatting server☆10Oct 19, 2019Updated 6 years ago
- 약속 실시간 위치 공유 어플리케이션☆12Aug 24, 2023Updated 2 years ago
- LINE Chatbot for PyCon KR 2019☆12Nov 28, 2019Updated 6 years ago
- A Haskell framework for running concurrent computations on an HPC cluster.☆13Oct 10, 2025Updated 4 months ago
- ☆49Oct 27, 2024Updated last year
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- The PERPL Compiler☆14Oct 17, 2025Updated 4 months ago
- Multi Layer Perceptron with SGD, Momentum and AdaGrad from Scratch Using Python3☆15Mar 22, 2017Updated 8 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated last week
- Official repository for "Proxy-based Item Representation for Attribute and Context-aware Recommendation", WSDM 2024.☆11Jan 22, 2024Updated 2 years ago
- WebDAV Client written in Javascript☆18Nov 19, 2012Updated 13 years ago
- A Haskell Collections library. [WIP]☆14Apr 7, 2024Updated last year
- This repository is no longer maintained.☆15Mar 10, 2022Updated 3 years ago
- ☆11Dec 5, 2021Updated 4 years ago