Kamil Listopad's repositories
purescript-selda
A type-safe, high-level SQL library for PureScript
typechecker
Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
ray-tracer
Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
coq-course
Coq course materials with my solutions
artificial-intelligence
AI uni course materials + my solutions
ml-project-svm
Machine Learning end-of-term project - SVM classifier on large datasets compared to other methods
DefinitelyTyped
The repository for high quality TypeScript type definitions.
fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
haskell-katas
My solutions to some Codewars's katas in haskell
helium-syntax-highlighting
Syntax highlighting for the language Helium
purescript
A strongly-typed language that compiles to JavaScript
purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
purescript-nodemailer
Bindings nodemailer for PureScript
purescript-prettyprinter
✨ Pretty printer library for PureScript