jotaalvim
I’m a computer engineering student with a love for programming and open-source software, to which I am trying to make more and more contributions.
UminhoPortugal
jotaalvim's Stars
busyloop/lolcat
Rainbows and unicorns!
ndmitchell/hlint
Haskell source code suggestions
reflex-frp/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
haskell/stylish-haskell
Haskell code prettifier
obsidiansystems/obelisk
Functional reactive web and mobile applications, with batteries included.
swarm-game/swarm
Resource gathering + programming game
SilentVoid13/Chesser
A chess plugin for obsidian
prathyvsh/lambda-calculus-visualizations
Catalog of visual lambda calculi
typedbyte/hagato
Haskell Gamedev Toolkit, a library for developing games from scratch.
ekzhang/harmony
🎶 Generate four-part harmony following idiomatic voice-leading procedures with DP!
mshroyer/pointfree
Pointfree style support for Python
pbv/haskelite
Re-implementation of a minimal interpreter for a subset of Haskell
elliottlawrence/flo
A visual, purely functional programming language
i-am-tom/world-building-in-haskell
Code written for the Berlin FP meetup.
grame-cncm/elody
Elody: a music composition environment based on a visual functional language.
almost/regex-crossword-solver
A solver for a Regular Expression Crossword
DvdDuarte/MNOL
Exercícios, Testes e Scripts da UC de Métodos numéricos de otimização não linear