ignaciobll
Follow
Highlights
- Pro
Stars
Nix modules for interacting with Spanish public administration services [maintainers=@nilp0inter @panchoh @CesarGallego]
💌 Create simple, beautiful personal websites and landing pages using only R Markdown.
A curated list of code and resources for computer-controlled drawing machines and other visual art robots.
My NixOS config + my home-manager config with dotfiles.
Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode …
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Search over large image datasets with natural language and computer vision!
An interpreter for a concurrent lisp with message-passing and pattern-matching.
An interpreter for the (made up) k programming language all done in Haskell
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
extprot: extensible binary protocols for cross-language communication and long-term serialization
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
PhD course on Functional Programming and Climate Impact Research
Aria is Your AI Research Assistant Powered by GPT Large Language Models
The show notes for the Discovering Emacs podcast. 🎙️
Emacs package to enable transclusion with Org Mode
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
WebExtension providing an org-protocol button for Mozilla Firefox
Catalog of Elixir-specific code smells
λλλλ Lennart Augustsson's λ-calculus cooked four ways
📜 Haskell course info, plan, video lectures, slides
A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.
🌀 Safe, performant, user-friendly and lightweight Haskell standard library