pluralia's repositories
web-assembly-plugin
WebAssembly plugin for JetBrains IDEs
fp-fall-2023
Haskell course homework
server-architectures-comparison
A Java course project: implementation and comparison of 3 server architectures
uKanren_translator
Translator miniKanren to Haskell
compilers-course
Compilers course at HSE/ITMO, Fall'19.
constraint-based-analysis
Implementation of constraint based analysis for simple lambda calculus.
formal-languages-course
Formal languages course at ITMO, Spring'19.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
hkanren
Haskell DSL for miniKanren
kotlin-course
Kotlin course at HSE/ITMO, Fall'19.
machine-learning-course
Machine Learning course at ITMO, Spring'19.
miniKanren-plugin
An IDE development course project: a miniKanren IDE plugin in C#
roguelike-game
A Software Design course project: a roguelike game
scala-course
Scala course at HSE/ITMO, Fall'19.
theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
types-inhab
Implementation of the algorithm proposed in M.W. Bunder's paper "The Inhabitation Problem for Intersection Types".
vscode-extension-samples
Sample code illustrating the VS Code extension API.