Kamil Listopad (Kamirus)

Kamirus

Geek Repo

Location:Wrocław

Github PK Tool:Github PK Tool


Organizations
lambdaterms

Kamil Listopad's repositories

purescript-selda

A type-safe, high-level SQL library for PureScript

Language:PureScriptLicense:MITStargazers:88Issues:6Issues:51

typechecker

Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Language:HaskellLicense:MITStargazers:6Issues:3Issues:0

lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Language:CoqLicense:MITStargazers:4Issues:2Issues:0

purescript-functional-concepts

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

Language:PureScriptStargazers:4Issues:3Issues:0

ray-tracer

Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.

Language:OCamlStargazers:4Issues:2Issues:0

coq-course

Coq course materials with my solutions

Language:CoqStargazers:1Issues:2Issues:0
Language:PureScriptLicense:MITStargazers:1Issues:3Issues:0
Language:PythonStargazers:0Issues:2Issues:0

artificial-intelligence

AI uni course materials + my solutions

Language:PythonStargazers:0Issues:2Issues:0

ml-project-svm

Machine Learning end-of-term project - SVM classifier on large datasets compared to other methods

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

et-lang

ET (IPL) language interpreters and literature

Language:Standard MLStargazers:0Issues:1Issues:0

fine-grained-shift0-dollar

Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"

Language:CoqStargazers:0Issues:1Issues:0

haskell-katas

My solutions to some Codewars's katas in haskell

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

helium-syntax-highlighting

Syntax highlighting for the language Helium

License:MITStargazers:0Issues:2Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ml_uwr

Materials for my Machine Learning course at University of Wroclaw

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

online-cv

A minimal Jekyll Theme to host your resume (CV)

Language:CSSLicense:MITStargazers:0Issues:2Issues:0

purescript

A strongly-typed language that compiles to JavaScript

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

purescript-halogen-realworld

Exemplary real world application built with PureScript + Halogen

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0

purescript-nodemailer

Bindings nodemailer for PureScript

Language:PureScriptLicense:MITStargazers:0Issues:2Issues:0
Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

purescript-prettyprinter

✨ Pretty printer library for PureScript

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0