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 last month
- A curated list of my GitHub stars!☆16Updated this week
- Turn your Android into a bootable USB with .iso & .img images (root required)☆31Oct 2, 2026Updated 2 weeks 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
- Listagem de comunidades relacionadas com tech em Portugal☆28Jan 13, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆20Oct 13, 2026Updated last week
- A step-by-step guide to making your first model in Onshape. Cyclone Robosub Tutorial and class project. Documentation capability demonstr…☆19Dec 16, 2024Updated last year
- Create a USB Rubber Ducky 3.0 like device using a Raspberry PI Pico☆18Sep 20, 2023Updated 3 years ago
- Hot-switch a rooted Samsung phone between One UI and a LineageOS 23.2 GSI via a userspace pivot_root container☆61Updated this week
- This repository provides containerized applications and microservices for the Information Systems and Databases Course @ Instituto Superi…☆11Updated this week
- Redmi Note 12 pro 5G (ruby) kernel specifically for powersave.☆21Updated this week
- Screen locker for Wayland with fingerprint support via fprintd☆29Sep 5, 2025Updated last year
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 6 years ago
- ☆21Feb 15, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 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
- 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
- A Markdown to HTML compiler written in Haskell.☆17Apr 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
- Beyond F-Droid: install and auto-update apps straight from GitHub, GitLab, Codeberg and self-hosted forges.☆89Updated this week
- Reason about Term Rewriting Systems☆20Jul 24, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- turn based empire warfare in the terminal☆48Aug 13, 2024Updated 2 years ago
- Repository of the Haskell Blog☆19Sep 26, 2026Updated 3 weeks ago
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- Resumos das UCs de LEIC-A do IST☆72Oct 9, 2026Updated last week
- 🦀 Logto Rust Unofficial SDKs☆11Dec 28, 2023Updated 2 years ago
- devPT Landing Page☆14Aug 26, 2023Updated 3 years ago
- ☆13May 5, 2026Updated 5 months ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Homepage of Shavian School☆18Feb 18, 2026Updated 8 months ago
- Entry point for AMALIA related resources.☆77Jun 30, 2026Updated 3 months ago
- Tool for porting PlayStation 4 & 5 executables to Windows, MacOS and Linux☆118Updated this week
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- semi-algorithmic MIDI sequencer in Emacs Lisp☆20Oct 11, 2015Updated 11 years ago
- "AI" demystified: a decompiler☆23Sep 2, 2021Updated 5 years ago
- Affinity v2 & v3 packaged as AppImages☆49Jul 23, 2026Updated 2 months ago