Marco A L Barbosa's repositories
na-progfun
Notas de aula sobre o paradigma de programação funcional
na-programacao
Notas de aulas - Introdução a programação
criaterm
A small Python library for creating terminal applications
gleam
⭐️ A friendly language for building type-safe, scalable systems!
na-sistemas-de-computacao
Notas de aula de introdução a sistemas de computação
python4cprof
Visão geral do Python para professores que ensinam C
exercism-gleam
Exercism exercises in Gleam.
na-proglog
Notas de aula sobre o paradigma de programação lógico
scryer-prolog
A modern Prolog implementation written mostly in Rust.
nixpkgs
Nix Packages collection
cross
"Zero setup" cross compilation and "cross testing" of Rust crates
dcmstp-instances
Instances and solvers for the degree constrained minimum spanning tree problem
num-rug-adapter
An adapter to use num crate where rug is needed.
self
Minimal compilers/interpreters that can run itself
tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
racket-test-examples
A simple way of writing tests in Racket.
kibi
A text editor in ≤1024 lines of code, written in Rust
prolog_parser
An operator precedence parser for rusty-wam, an up and coming ISO Prolog implementation.
libc
Raw bindings to platform APIs for Rust
cargo
The Rust package manager
na-lp-copl
Notas de aula sobre linguagens de programação (baseado no livro "Concepts of Programming Languages")
rust
A safe, concurrent, practical language.
ea-tree-repr
Direct spanning tree representation for mutation based evolutionary algorithms
mu
A small, simple editor for beginner Python programmers. Written in Python and Qt5.