Kamirus

Typed functional languages enthusiast.

Wrocław

Pinned Repositories

1st-django
Language:Python0 2 00
coq-course
Coq course materials with my solutions
Language:Coq1 2 00
Generating-3D-Hilbert-curve
Language:Python1 2 00
lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language:Coq4 2 01
ml-project-svm
Machine Learning end-of-term project - SVM classifier on large datasets compared to other methods
Language:Jupyter Notebook0 2 00
purescript-annoy
Language:PureScript1 3 03
purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language:PureScript4 3 00
purescript-selda
A type-safe, high-level SQL library for PureScript
Language:PureScript89 6 513
ray-tracer
Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
Language:OCaml4 2 00
typechecker
Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Language:Haskell6 3 00

Kamirus's Repositories

Kamirus/purescript-selda
A type-safe, high-level SQL library for PureScript
Language:PureScript89 6 513
Kamirus/typechecker
Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Language:Haskell6 3 00
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language:Coq4 2 01
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language:PureScript4 3 00
Kamirus/ray-tracer
Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
Language:OCaml4 2 00
Kamirus/coq-course
Coq course materials with my solutions
Language:Coq1 2 00
Kamirus/Generating-3D-Hilbert-curve
Language:Python1 2 00
Kamirus/purescript-annoy
Language:PureScript1 3 03
Kamirus/1st-django
Language:Python0 2 00
Kamirus/artificial-intelligence
AI uni course materials + my solutions
Language:Python0 2 00
Kamirus/ml-project-svm
Machine Learning end-of-term project - SVM classifier on large datasets compared to other methods
Language:Jupyter Notebook0 2 00
Kamirus/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript2 0
Kamirus/Downloading-Exercises
Language:Python2 0
Kamirus/et-lang
ET (IPL) language interpreters and literature
Language:Standard ML1 0
Kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
Language:Coq1 0
Kamirus/haskell-katas
My solutions to some Codewars's katas in haskell
Language:Haskell2 0
Kamirus/helium-syntax-highlighting
Syntax highlighting for the language Helium
2 0
Kamirus/kore
Language:Haskell1 0
Kamirus/ml_uwr
Materials for my Machine Learning course at University of Wroclaw
Language:Jupyter Notebook1 0
Kamirus/online-cv
A minimal Jekyll Theme to host your resume (CV)
Language:CSS2 0
Kamirus/purescript
A strongly-typed language that compiles to JavaScript
Language:Haskell1 0
Kamirus/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
Language:PureScript1 0
Kamirus/purescript-nodemailer
Bindings nodemailer for PureScript
Language:PureScript2 0
Kamirus/purescript-postgresql-client
Language:PureScript2 0
Kamirus/purescript-prettyprinter
✨ Pretty printer library for PureScript
Language:PureScript1 01
Kamirus/shiny-pancake
Language:C++2 0
Kamirus/typing-training
Language:Python2 01
Kamirus/vscode-settings
2 0
Kamirus/youtube-video-organizer
Language:Python2 0