- Mountain View, California
- @Vicfred
- vicfred
- https://www.youtube.com/vicfredmx
- https://www.vicfred.dev/
Highlights
Starred repositories
A statically typed lisp, without a GC, for real-time applications.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Agda is a dependently typed programming language / interactive theorem prover.
The engine for haskell ide-integration. Not an IDE
Huge list of videos, talks, courses for Haskell programming language.
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
A little course to learn about some of the more obscure GHC extensions.
The exercise files from 10 Minute Vim, for convenience of readers
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…
Number theory: primes, arithmetic functions, modular computations, special sequences
High performance, regular, shape polymorphic parallel arrays.
Dive into Haskell: Examples of all features of this Pure Functional programing language
A starter-kit for the Scotty web framework
A low level Haskell library to connect to postgres
A basic, dynamically scoped, Lisp interpreter written in Haskell.