Implementation for the book <Implementing functional languages: a tutorial>
☆33Apr 15, 2019Updated 7 years ago
Alternatives and similar repositories for core-lang-haskell
Users that are interested in core-lang-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 6 years ago
- 十分钟魔法练习 in OCaml☆35Mar 31, 2022Updated 4 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆17Oct 4, 2026Updated last month
- ☆25Jul 19, 2017Updated 9 years ago
- 收集使用Clojure/ClojureScript技术栈的中国公司☆10Sep 28, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Teeny Type Theory☆26Jun 4, 2022Updated 4 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 8 years ago
- ☆14Jun 3, 2021Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- 하스켈 모임 웹사이트 소스 코드☆16Dec 8, 2021Updated 4 years ago
- The aim of this project is to publish and archive newsletters to a target email address.☆21Jan 13, 2024Updated 2 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 13 years ago
- Staged push/pull fusion with typed Template Haskell☆63Dec 17, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Jun 6, 2014Updated 12 years ago
- TensorFlow-KR 그룹에서는 논문읽기 모임인 PR12이 진행되고 있는데요. 여기서 다뤄지고 있는 모델을 케라스로 구현하고자 합니다.☆17Feb 4, 2018Updated 8 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- ☆12Sep 10, 2019Updated 7 years ago
- 🍁 Compiler Compiler based on CSharp with GUI Program☆21Oct 21, 2022Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆67Mar 5, 2022Updated 4 years ago
- Demos for FriceEngine.☆11Dec 22, 2017Updated 8 years ago
- ☆18Mar 24, 2021Updated 5 years ago
- Anime Wallpaper Downloader.☆15Jan 13, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Mostly adequate guide to FP (in javascript, translated to korean)☆23May 31, 2023Updated 3 years ago
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆37Aug 5, 2026Updated 3 months ago
- csapp 3e malloclab☆17Feb 23, 2017Updated 9 years ago
- 📦 Initialize JSON data according to type schema☆10May 10, 2021Updated 5 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 6 years ago
- Docker container for Faiss https://github.com/facebookresearch/faiss☆10Nov 7, 2017Updated 9 years ago
- ☆10Dec 12, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Oct 18, 2026Updated 2 weeks ago
- a clojure-inspired language on llvm☆10Nov 13, 2014Updated 11 years ago
- ☆14Feb 26, 2024Updated 2 years ago
- The mini playground for F# Programming Language.☆14Nov 8, 2022Updated 3 years ago
- A collection of PLT researching☆28Feb 21, 2025Updated last year
- ☆14Jun 13, 2016Updated 10 years ago
- LinM is a clone of Mdir, the famouse file manager from the MS-DOS age.☆11Mar 15, 2023Updated 3 years ago