malbarbo Goto Github PK

na-grafos

Notas de aula de Algoritmos em Grafos

na-lp-copl

Notas de aula sobre linguagens de programação (baseado no livro "Concepts of Programming Languages")

na-progfun

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

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

num-rug-adapter

An adapter to use num crate where rug is needed.

openssl-probe

pb

Console progress bar for Rust

pkg-config-rs

Build library for invoking pkg-config for Rust

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

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.

racket-test-examples

A simple way of writing tests in Racket.

rand

A Rust library for random number generation.

rls

Repository for the Rust Language Server (aka RLS)

rust

A safe, concurrent, practical language.

rust-buildbot

Buildbot configs for the Rust project

rust-forge

rust-itertools

Extra iterator adaptors, functions and macros.

rust-url

URL parser for Rust

rust-www

The Rust website

rustfmt

Format Rust code

rustup.rs

The Rust toolchain installer

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.