lylek

Pinned Repositories

advent2021
Language:Haskell1 1 00
json-patterns-ruby
Validate patterns in JSON using a domain-specific language that looks as much as possible like the JSON you are trying to validate.
Language:Ruby8 2 11
proof-verifier
Natural deduction proof verifier in Haskell
Language:Haskell3 2 00
vintage-basic
Vintage BASIC Interpreter
Language:Haskell98 13 223

lylek's Repositories

lylek/vintage-basic
Vintage BASIC Interpreter
Language:Haskell98 13 223
lylek/json-patterns-ruby
Validate patterns in JSON using a domain-specific language that looks as much as possible like the JSON you are trying to validate.
Language:Ruby8 2 11
lylek/proof-verifier
Natural deduction proof verifier in Haskell
Language:Haskell3 2 00
lylek/advent2021
Language:Haskell1 1 00
lylek/advent_2018
Solutions for Advent of Code 2018, in Haskell
Language:Haskell2 0
lylek/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
Language:Haskell0 0
lylek/expressiveprogramming.com
Language:HTML2 0
lylek/logic_and_proof
CMU Undergrad Course
Language:TeX2 01
lylek/pandoc
Universal markup converter
Language:Haskell2 0
lylek/pdxfunc-cis194
Tests for the homework from CIS 194
Language:Haskell2 0
lylek/scala
The Scala programming language
Language:Scala2 0
lylek/stack
The Haskell Tool Stack
Language:Haskell2 0