Repositorio base del curso, donde se publicarán enunciados, ayudantías y se resolverán dudas.
☆31Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- Some utilities lv2 plugins☆18Jan 31, 2023Updated 3 years ago
- A parser for Org-mode documents☆25May 7, 2026Updated 2 months ago
- A streaming rpc system for iroh☆55Jul 1, 2026Updated last week
- String types for URIs/IRIs.☆29Jun 22, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UDP bittorent tracker with a focus on simplicity☆20Feb 4, 2022Updated 4 years ago
- Visual representation of Artificial Intelligence Algorithms☆15Jun 1, 2021Updated 5 years ago
- guitar/bass effects unit☆24Jun 4, 2018Updated 8 years ago
- Rust-native RPC, friendly to other languages via facet-powered codegen☆110Jun 19, 2026Updated 2 weeks ago
- Exercism.el, emacs package for exercism.io☆57Dec 20, 2016Updated 9 years ago
- An RDF library in pure Rust☆72Jul 20, 2020Updated 5 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆69Dec 4, 2023Updated 2 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆147Aug 18, 2023Updated 2 years ago
- Ninja-compatible incremental build system for Nix☆252May 14, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A drop-in replacement for nix-serve that is faster and more reliable☆223Apr 30, 2026Updated 2 months ago
- A PyTorch implementation of DTrOCR: Decoder-only Transformer for Optical Character Recognition☆205Jul 2, 2026Updated last week
- Streamline your Org document exports to PDF, HTML, DOC, and more with OrgMk. Simplify document compilation and enhance productivity. #org…☆234Feb 18, 2026Updated 4 months ago
- A lock-free, partially wait-free, eventually consistent, concurrent hashmap.☆261Feb 8, 2026Updated 5 months ago
- Sync personal and work git repositories from multiple providers☆342Jun 26, 2026Updated last week
- The WIP version of Vite powered by Rolldown☆1,275Mar 4, 2026Updated 4 months ago
- a tokio-enabled data store for triple data☆382Mar 11, 2024Updated 2 years ago
- Music player☆312Mar 27, 2024Updated 2 years ago
- Functional workflows☆366Jun 4, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆400Jan 7, 2024Updated 2 years ago
- Highlight TODO keywords☆472Jun 1, 2026Updated last month
- Firefox extension to automatically open websites in a container☆456Apr 30, 2024Updated 2 years ago
- Review pull-requests on https://github.com/NixOS/nixpkgs☆622Updated this week
- A Chrome and firefox extension facilitating org-capture in emacs☆557Jul 31, 2025Updated 11 months ago
- Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git).…☆700Jul 1, 2026Updated last week
- Emacs LSP performance booster☆674Apr 12, 2026Updated 2 months ago
- compiler from JSON Schema into idiomatic Rust types☆871Updated this week
- Flake templates☆740Oct 14, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Mar 6, 2021Updated 5 years ago
- Refinement Types for Rust☆890Jun 30, 2026Updated last week
- Rust development environment for Emacs☆736Aug 23, 2024Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆703Jun 30, 2026Updated last week
- Show source files' TODOs (and FIXMEs, etc) in Magit status buffer☆791Sep 28, 2025Updated 9 months ago
- Entity Component System focused on usability and flexibility.☆870Jun 24, 2026Updated 2 weeks ago
- Emacs Lisp bindings for tree-sitter☆856Jun 19, 2026Updated 2 weeks ago