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