-
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
-
purescript-selda Public
A type-safe, high-level SQL library for PureScript
-
fine-grained-shift0-dollar Public
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
Coq UpdatedSep 20, 2022 -
lambda-formalizations Public
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
-
purescript-prettyprinter Public archive
Forked from jmackie/purescript-prettyprinter✨ Pretty printer library for PureScript
PureScript MIT License UpdatedMay 12, 2021 -
ray-tracer Public
Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
-
helium-syntax-highlighting Public
Syntax highlighting for the language Helium
MIT License UpdatedFeb 20, 2021 -
-
-
typechecker Public
Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
-
coq-course Public
Coq course materials with my solutions
-
purescript Public
Forked from purescript/purescriptA strongly-typed language that compiles to JavaScript
Haskell Other UpdatedFeb 22, 2020 -
-
ml-project-svm Public
Machine Learning end-of-term project - SVM classifier on large datasets compared to other methods
Jupyter Notebook UpdatedFeb 15, 2020 -
ml_uwr Public
Forked from janchorowski/ml_uwrMaterials for my Machine Learning course at University of Wroclaw
Jupyter Notebook UpdatedFeb 5, 2020 -
haskell-katas Public
My solutions to some Codewars's katas in haskell
Haskell MIT License UpdatedJan 18, 2020 -
purescript-postgresql-client Public
Forked from throughnothing/purescript-postgresql-clientPureScript BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2019 -
online-cv Public
Forked from sharu725/online-cvA minimal Jekyll Theme to host your resume (CV)
CSS MIT License UpdatedJul 27, 2019 -
purescript-halogen-realworld Public
Forked from thomashoneyman/purescript-halogen-realworldExemplary real world application built with PureScript + Halogen
PureScript MIT License UpdatedJul 25, 2019 -
purescript-nodemailer Public
Forked from oreshinya/purescript-nodemailerBindings nodemailer for PureScript
PureScript MIT License UpdatedApr 13, 2019 -
et-lang Public
Forked from mietek/et-langET (IPL) language interpreters and literature
Standard ML UpdatedFeb 15, 2019 -
-
-
-
-
-
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedDec 3, 2016 -
{{ message }}