Vladimir Lopatin's repositories
Haskell-OpenGL-Tutorial
an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO
Euterpea25
an attempt to bring Euterpea project up to the modern haskell, cabal tooling standards
madjestic.github.io
a github blog on haskell and mathematics
agda
Agda is a dependently typed programming language / interactive theorem prover.
coinbase-pro
API for Coinbase Pro
dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
dot.files
sys config files
e1341
a rewrite of e1340 space-sim game in terms of MSFs
gentoo-haskell
official gentoo haskell overlay
haskell_tensorflow
Haskell bindings for TensorFlow
Machine_Learning_Coursera
Exercises and notes on https://www.coursera.org/learn/machine-learning
MSFs
experiments with Monadic Streaming Functions, which, supposedly, culminate in a simple game example.
My-TTGO-Watch
Firmware for a ttgo-watch2020-v1 smartwatch based on ESP32 from LilyGo.
N-Body-Simulations
Performant N-Body Simulations with Barnes-Hut and Realistic Galaxy Models
n_body_solver
a minimal reproducible case of n-body solver, using Yampa FRP, haskell
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
simple-game
a simple game with monad transformers
simple_game
a simple game with monad transformers
simple_sdl_game
a simple game using sdl
simplex-chat
🚀 SimpleX - the first chat platform that is 100% private by design - iOS and Android apps are released 📱!
snake
A terminal interface for Snake