Lists (23)
🧠 Zettelkasten
📚 Category theory
🔒 Cibersecurity
🔑 Crypto
🔮 Clojure
🔮 Haskell
⚓ DevOps
🌲 Elm
🐟 Fish shell
🔮 Functional programming
⌨️ Keyboard
💀 Mac
Tools to use in MacOS and make my system usable.🌔 Lua
❄️ Nix
🚀 Nvim
🖊️ Typst
⌛ See later
🐍 Functional python
🐍 Python
❄️ NixOs references
✨ Functional frontend
🗼 Software Architect
🔨 Tools
Stars
An interactive and powerful Git interface for Neovim, inspired by Magit
The Firefox theme with too many options.. FF Ultima.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
A gentle introduction to the paradigm of functional programming for beginners.
Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules,@flokli,@yuyuyureka]
Turn a repo of code into a single org file, easily navigated throughs folders and files to functions
Yet another resource for collecting articles, videos etc. regarding functional programming
Thresholdized UOV signature scheme implementation using MPyC. Based on the “Share the MAYO: thresholdizing MAYO” paper, this repo implements a post-quantum, multi-party, threshold digital signature…
A Single Page Application written in Elm
A strongly-typed language that compiles to JavaScript
A python lens library for manipulating deeply nested immutable structures
Command-line tools for working with Architecture Decision Records
Native, fast starting Clojure interpreter for scripting
The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬
Our first MPC program (aka: MP-SPDZ by a dummy)