Repositorio base del curso, donde se publicarán enunciados, ayudantías y se resolverán dudas.
☆32Dec 20, 2021Updated 4 years ago
Alternatives and similar repositories for Syllabus
Users that are interested in Syllabus are comparing it to the libraries listed below
Sorting:
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- Mirror a Hydra jobset using IPFS or plain rsync☆44Jan 5, 2018Updated 8 years ago
- Presentations at the Tokyo Nixos Meetup☆60Feb 24, 2018Updated 8 years ago
- A serde serializer that serializes a subset of types into plain strings☆61Oct 31, 2023Updated 2 years ago
- Tools to iterate over all values of a type☆111Sep 8, 2025Updated 6 months ago
- A drop-in replacement for nix-serve that is faster and more reliable☆215Updated this week
- Concurrently Readable Data Structures for Rust☆363Feb 10, 2026Updated last month
- a tokio-enabled data store for triple data☆381Mar 11, 2024Updated last year
- Highlight TODO keywords☆467Jan 3, 2026Updated 2 months ago
- Review pull-requests on https://github.com/NixOS/nixpkgs☆575Mar 2, 2026Updated last week
- Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git).…☆654Dec 8, 2025Updated 3 months ago
- A Chrome and firefox extension facilitating org-capture in emacs☆554Jul 31, 2025Updated 7 months ago
- Emacs LSP performance booster☆662Nov 29, 2025Updated 3 months ago
- Flake templates☆711Oct 14, 2025Updated 4 months ago
- Haskell API search engine☆799Jan 31, 2026Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskell☆701Jan 5, 2026Updated 2 months ago
- Refinement Types for Rust☆836Updated this week
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated 2 months ago
- Rust development environment for Emacs☆742Aug 23, 2024Updated last year
- Show source files' TODOs (and FIXMEs, etc) in Magit status buffer☆789Sep 28, 2025Updated 5 months ago
- Entity Component System focused on usability and flexibility.☆837Mar 2, 2026Updated last week
- Emacs Lisp bindings for tree-sitter☆854Feb 27, 2026Updated last week
- A curated list to learning and practicing about algorithm.☆865Nov 15, 2022Updated 3 years ago
- Manage KDE Plasma with Home Manager [maintainer=@HeitorAugustoLN]☆1,090Mar 1, 2026Updated last week
- Functional reactive web and mobile applications, with batteries included.☆1,023Jan 27, 2026Updated last month
- Structured Editing and Navigation in Emacs with Tree-Sitter☆1,171Jan 26, 2026Updated last month
- The Power of Prolog: Introduction to modern Prolog☆1,358Feb 15, 2026Updated 3 weeks ago
- a lightweight, robust, scheme-like lisp implementation☆1,701Feb 26, 2020Updated 6 years ago
- Bootstrapping LISP in a Boot Sector☆1,472Nov 27, 2024Updated last year
- lamdu - towards the next generation IDE☆1,890Jan 29, 2026Updated last month
- A simple, stateless NixOS deployment tool☆2,035Updated this week
- collection of projects and links about algorithm visualization☆1,730Dec 5, 2022Updated 3 years ago
- A fast and powerful alternative to grep☆1,642Sep 30, 2025Updated 5 months ago
- Rust actor framework☆1,966Feb 27, 2026Updated last week
- An embedded scheme interpreter in Rust☆2,240Updated this week
- An extensible, state of the art columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Li…☆2,765Updated this week
- Hypothesis-like property testing for Rust☆2,066Feb 13, 2026Updated 3 weeks ago
- A full-text search and indexing server written in Rust.☆1,876Mar 6, 2023Updated 3 years ago
- Cranelift based backend for rustc☆1,997Updated this week