Pinned Repositories
type-inference
Implementation of Typed Lambda Calculus (Product, Sum, Arrow, Nat, Bool types) together with type inference
combinatorics
Library for enumerating elementary combinatorial structures (subsets, multisubsets, permutations, tuples).
stack-machine-with-continuations
Visualization of step-by-step computations in lambda calculus with continuations
arithmetic-2d
Library for arithmetic with 2D points and vectors
call-by-push-value
Toy implementation of calculi from the book Call-By-Push-Value: A Functional/Imperative Synthesis
challenge-elm
Challenge your Elm coding skills (and optionally apply to our remote FE developer position!)
classical-mechanics
Trying to learn Lagrangian/Hamiltonian Mechanics (mostly via Structure and Interpretation of Classical Mechanics) and PureScript
combinatorics-react
Frontend react app for the combinatorics library
omedusyo's Repositories
omedusyo/polymede
omedusyo/squaretic
All squares must die
omedusyo/neovim-config
My personal neovim config
omedusyo/file-system
omedusyo/streams
Implementation of pure async streams
omedusyo/tajbrno
High school final project
omedusyo/purescript-halogen-tutorial
Going through https://purescript-halogen.github.io/purescript-halogen/guide/index.html
omedusyo/classical-mechanics
Trying to learn Lagrangian/Hamiltonian Mechanics (mostly via Structure and Interpretation of Classical Mechanics) and PureScript
omedusyo/omedusyo.github.io
omedusyo/type-inference
Implementation of Typed Lambda Calculus (Product, Sum, Arrow, Nat, Bool types) together with type inference
omedusyo/intro-reactive-programming
Implementation of a very basic reactive programming library for my own edification
omedusyo/config
Stores program configuration files (vim, tmux, etc.).
omedusyo/call-by-push-value
Toy implementation of calculi from the book Call-By-Push-Value: A Functional/Imperative Synthesis
omedusyo/purely-functional-data-structures
Going through the ML book
omedusyo/stack-machine-with-continuations
Visualization of step-by-step computations in lambda calculus with continuations
omedusyo/x86_64_linux_basics
omedusyo/challenge-elm
Challenge your Elm coding skills (and optionally apply to our remote FE developer position!)
omedusyo/parsing-combinators
General parsing (parsing combinators) js library.
omedusyo/arithmetic-2d
Library for arithmetic with 2D points and vectors
omedusyo/combinatorics-react
Frontend react app for the combinatorics library
omedusyo/custom-slider
omedusyo/combinatorics
Library for enumerating elementary combinatorial structures (subsets, multisubsets, permutations, tuples).
omedusyo/redo
djb's redo implementation in haskell