MaskRay / OJHaskellLinks
Some online judge solutions in Haskell
☆19Updated 9 years ago
Alternatives and similar repositories for OJHaskell
Users that are interested in OJHaskell are comparing it to the libraries listed below
Sorting:
- Python module for composing computations☆26Updated 3 months ago
- A collection of PLT researching☆29Updated 4 months ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- Types and Programming Languages☆37Updated 10 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- ☆19Updated 9 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- This is source code of my book.☆67Updated 8 years ago
- home page☆76Updated 2 years ago
- Type inference for 'type level computation one step at a time'☆13Updated 7 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- 购买 https://gum.co/grokking-monad 在线阅读☆102Updated last year
- Neon lights in the night tonight and stars that shine in the open sky☆44Updated last year
- array, slices and text☆70Updated last year
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Updated 3 months ago
- 这是Haskell函数式编程入门第2版的源码☆83Updated 7 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 9 years ago
- IO lib for haskell☆99Updated last year
- CN MonaD.ReadeR Reading Group☆107Updated 9 years ago
- ☆50Updated 12 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- My slides and notes☆137Updated 2 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆56Updated 2 years ago