Rust programming, in Portuguese.
☆11Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for ferrugem
Users that are interested in ferrugem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Grasshopper's Monadic Parser☆12Sep 12, 2026Updated 2 months ago
- Source code repository for LAE 2024☆13Sep 6, 2024Updated 2 years ago
- Concurrent Programming - 2024 - Spring☆13May 28, 2024Updated 2 years ago
- Software Laboratory, 2023/2024, Spring semester☆13May 7, 2024Updated 2 years ago
- O Tal Canal é uma rede social de comunidades onde os portugueses podem falar sobre os seus interesses e discutir apaixonadamente as suas …☆10Jul 1, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A curated list of my GitHub stars!☆18Updated this week
- Listagem de comunidades relacionadas com tech em Portugal☆29Jan 13, 2025Updated last year
- Concurrent Programming - 2023 - LEIC41D / LEIC41N☆12Jun 9, 2023Updated 3 years ago
- TPM-sealed auto-unlock for the GNOME login keyring - works with fingerprint login, without weakening the keyring☆27Oct 23, 2026Updated 2 weeks ago
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆22Oct 27, 2026Updated 2 weeks ago
- Create a USB Rubber Ducky 3.0 like device using a Raspberry PI Pico☆19Sep 20, 2023Updated 3 years ago
- A step-by-step guide to making your first model in Onshape. Cyclone Robosub Tutorial and class project. Documentation capability demonstr…☆20Dec 16, 2024Updated last year
- Templates LaTeX para Tese de Mestrado, Tese de Doutoramento, Proposta de Tese de Mestrado e Proposta de Tese de Doutoramento na Faculdade…☆20Apr 16, 2024Updated 2 years ago
- This repository provides containerized applications and microservices for the Information Systems and Databases Course @ Instituto Superi…☆11Nov 5, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Redmi Note 12 pro 5G (ruby) kernel specifically for powersave.☆23Oct 16, 2026Updated 3 weeks ago
- A tutorial on using permissions in React Native☆12Nov 20, 2018Updated 7 years ago
- Screen locker for Wayland with fingerprint support via fprintd☆29Sep 5, 2025Updated last year
- Turn your Android into a bootable USB with .iso & .img images (root required)☆37Oct 2, 2026Updated last month
- ☆21Feb 15, 2021Updated 5 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 6 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆30Aug 20, 2021Updated 5 years ago
- A Better Migration Tool (a.k.a. ABMT)☆12Mar 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 5 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- A friendly functional language for finding counterexamples 🎯☆15Jul 15, 2024Updated 2 years ago
- Reason about Term Rewriting Systems☆20Jul 24, 2022Updated 4 years ago
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- turn based empire warfare in the terminal☆48Aug 13, 2024Updated 2 years ago
- A Markdown to HTML compiler written in Haskell.☆18Apr 15, 2024Updated 2 years ago
- An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.☆15Sep 11, 2025Updated last year
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 🦀 Logto Rust Unofficial SDKs☆11Dec 28, 2023Updated 2 years ago
- Repository of the Haskell Blog☆19Oct 21, 2026Updated 3 weeks ago
- ☆13May 5, 2026Updated 6 months ago
- devPT Landing Page☆14Aug 26, 2023Updated 3 years ago
- Resumos das UCs de LEIC-A do IST☆72Oct 9, 2026Updated last month
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- semi-algorithmic MIDI sequencer in Emacs Lisp☆20Oct 11, 2015Updated 11 years ago
Are these results useful?