malbarbo

fera

An aggregation of algorithms, data structures and supporting crates

dcmstp-instances

Instances and solvers for the degree constrained minimum spanning tree problem

na-progfun

Notas de aula sobre o paradigma de programação funcional

num-rug-adapter

An adapter to use num crate where rug is needed.

dotfiles

Some of my dotfiles

na-grafos

Notas de aula de Algoritmos em Grafos

racket-test-examples

A simple way of writing tests in Racket.

aports

Mirror of aports repository

cargo

The Rust package manager

cpython

The Python programming language

cross

"Zero setup" cross compilation and "cross testing" of Rust crates

guix

Guix mirror -- pull requests are ignored, please use guix-patches@gnu.org instead

implementacoes-python-ed

Implementações da disciplina de ED

kibi

A text editor in ≤1024 lines of code, written in Rust

libc

Raw bindings to platform APIs for Rust

na-ed

na-fundamentos

na-proglog

Notas de aula sobre o paradigma de programação lógico

na-programacao

Notas de aulas - Introdução a programação

nix

Rust friendly bindings to *nix APIs

nixpkgs

Nix Packages collection

prolog_parser

An operator precedence parser for rusty-wam, an up and coming ISO Prolog implementation.

python4cprof

Visão geral do Python para professores que ensinam C

rust-url

URL parser for Rust

scryer-prolog

A modern Prolog implementation written mostly in Rust.

self

Minimal compilers/interpreters that can run itself

skulls

pre-built coreboot images and documentation on how to flash them for Thinkpad Laptops

string-constants

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

tmux

tmux source code