kamirus Goto Github PK

1st-django

artificial-intelligence

AI uni course materials + my solutions

coq-course

Coq course materials with my solutions

definitelytyped

The repository for high quality TypeScript type definitions.

downloading-exercises

et-lang

ET (IPL) language interpreters and literature

fine-grained-shift0-dollar

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

generating-3d-hilbert-curve

haskell-katas

My solutions to some Codewars's katas in haskell

helium-syntax-highlighting

Syntax highlighting for the language Helium

kore

lambda-formalizations

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

ml-project-svm

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

ml_uwr

Materials for my Machine Learning course at University of Wroclaw

online-cv

A minimal Jekyll Theme to host your resume (CV)

purescript

A strongly-typed language that compiles to JavaScript

purescript-annoy

purescript-functional-concepts

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

purescript-halogen-realworld

Exemplary real world application built with PureScript + Halogen

purescript-nodemailer

Bindings nodemailer for PureScript

purescript-postgresql-client

purescript-prettyprinter

✨ Pretty printer library for PureScript

purescript-selda

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

ray-tracer

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

shiny-pancake

typechecker

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

typing-training

vscode-settings

youtube-video-organizer