anlun/ssrLectures
Public repository.
Developer Profile
anlun
Discovered public repositories for anlun in the GitHub catalog.
anlun/curryHowardNotes
Slides and notes on Curry-Howard Isomorphism lectures
anlun/opam-coq-repo
Public repository.
anlun/brutalDepTypes
Public repository.
anlun/printerPluginPresentationCases
Cases for printer plugin presentation
anlun/diploma
Репозиторий моего диплома и связанных презентаций
anlun/sc-mini
SC Mini is a "minimal" positive supercompiler
anlun/sll-meta-haskell
"Metacomputation and its Applications" implemented for SLL
anlun/polynomialPPCombinators
Polynomial-time optimal pretty-printing combinators with choice
anlun/cscJava
Public repository.
anlun/cscASM
Public repository.
anlun/gc_school
Public repository.
anlun/coursePaper
Курсовая на 4 курсе.
anlun/pretty_test
Пример использования библиотеки pretty_printer_kotlin
anlun/olympIS
Репозиторий проекта по практике "Администрирование информационных систем".
anlun/pretty_printer_kotlin
Public repository.
anlun/qreal
CASE and metaCASE system