Pinned Repositories
agda-2020-21
agda-2023-24
dotfiles
fp-lab-2021-22
fp-lab-2022-23
fp-pract1819
lcpt-1920
lec-type-extensions-23022022
servant-elm-street
polysemy
:gemini: higher-order, no-boilerplate monads
googleson78's Repositories
googleson78/fp-pract1819
googleson78/servant-elm-street
googleson78/plfa
googleson78/sep
Записки по курса ,,Семантика на езиците за програмиране"
googleson78/thinking-with-types
googleson78/total-chaos-fp-meetup-17102019
googleson78/fp-pract-tasks-1920-Viktorsmg
googleson78/lcpt-1920
googleson78/agda-vim
Agda interaction in vim
googleson78/CS316-19
The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
googleson78/dhall-vim
Syntax highlighting for Dhall
googleson78/elm-react-component
Simple API to embed Elm 0.19 elements in React
googleson78/file-embed
Use Template Haskell to embed file contents directly.
googleson78/flux-monoid
A monoid which counts changing values in a sequence
googleson78/fmi-ai
googleson78/fmi-computer-science-stuff
Code and materials from exercises and homeworks in FMI.
googleson78/fmi-web-project
googleson78/fp-slides
Лекции по Функционално програмиране
googleson78/gruvbox
Retro groove color scheme for Vim (with custom modifications to Haskell and PureScript to make them more colourful)
googleson78/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
googleson78/liquidhaskell-cabal
Liquid Haskell integration for Cabal and Stack
googleson78/plfa.github.io
Introduction to programming language theory in Agda
googleson78/polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
googleson78/r-project
it's not nothing
googleson78/relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
googleson78/sep1920
googleson78/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
googleson78/stack-snapshot-no-git-repro
googleson78/underpass
Experiments with overpass API
googleson78/unix-time
Fast time library