lylek

Pinned Repositories

advent2021
Language:Haskell10
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:Haskell91 13 223

lylek's Repositories

lylek/vintage-basic
Vintage BASIC Interpreter
Language:Haskell91 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:Haskell10
lylek/advent_2018
Solutions for Advent of Code 2018, in Haskell
Language:Haskell2 0
lylek/expressiveprogramming.com
Language:HTML
lylek/logic_and_proof
CMU Undergrad Course
Language:TeX1
lylek/lylek.github.io
Expressive Programming
Language:Ruby
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:Scala
lylek/stack
The Haskell Tool Stack
Language:Haskell