douglastofoli / nix-configsLinks
☆11Updated last month
Alternatives and similar repositories for nix-configs
Users that are interested in nix-configs are comparing it to the libraries listed below
Sorting:
- My personal blog☆60Updated last week
- Contains a bunch of links to things I read or watched☆12Updated last week
- ☆20Updated last year
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated 2 years ago
- ☆19Updated last year
- ☆14Updated 3 years ago
- Paxos implementation in Rust☆14Updated 2 years ago
- Quer aprender a usar o monstro dos editores de texto, mas não sabe por onde começar? Veio ao lugar certo.☆16Updated last year
- ❤️ | Fancy diagnostics for Miette☆14Updated 11 months ago
- Implementações dos princípios básicos e intermedi ários de Estrutura de Dados em Haskell!☆22Updated last month
- ~/.dotfiles☆37Updated 3 weeks ago
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated last year
- A digital garden prototype - my notes and links are here☆43Updated 3 years ago
- 🎣 Um website/repositório open source de React Hooks voltado para a comunidade brasileira!☆26Updated 3 years ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated last year
- for learning purposes☆18Updated 3 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- A simple (and unfinished!!) database management system.☆21Updated 2 years ago
- A curated list of resources on the science of learning anything☆34Updated 9 months ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆108Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 4 years ago
- 🧪 | Rinha de Backend Lean4☆66Updated 2 years ago
- A Json parser in TypeScript☆17Updated 2 years ago
- Meu próprio jardim digital☆16Updated 2 years ago
- A tool to make life easier for those who use anki as part of learning new languages