Giters
Leonardo Santiago (o-santi)

o-santi

Geek Repo

41

followers

26

following

28

stars

Twitter:@o_santi_

Github PK Tool:Github PK Tool

Leonardo Santiago's starred repositories

o-santi.github.io

Language:TeXStargazers:3Issues:0Issues:0

raspberry-pi-nix

NixOS modules to aid in configuring NixOS for raspberry pi products

Language:NixLicense:MITStargazers:102Issues:0Issues:0

staged

Staged compilation with dependent types

Language:TeXStargazers:150Issues:0Issues:0

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:16602Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:11566Issues:0Issues:0

vlfi

View Large Files in Emacs

Language:Emacs LispStargazers:455Issues:0Issues:0

agenix

age-encrypted secrets for NixOS and Home manager

Language:NixLicense:CC0-1.0Stargazers:1353Issues:0Issues:0

nix-mode

An Emacs major mode for editing Nix expressions.

Language:Emacs LispLicense:LGPL-2.1Stargazers:292Issues:0Issues:0

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

Language:NixStargazers:480Issues:0Issues:0

leptos

Build fast web applications with Rust.

Language:RustLicense:MITStargazers:15390Issues:0Issues:0

mu

maildir indexer/searcher + emacs mail client + guile bindings

Language:C++License:GPL-3.0Stargazers:1594Issues:0Issues:0

mu4e-dashboard

A dashboard for mu4e (mu for emacs)

Language:Emacs LispLicense:GPL-3.0Stargazers:462Issues:0Issues:0

nocargo

[alpha] Build Rust crates with Nix Build System.

Language:NixLicense:MITStargazers:126Issues:0Issues:0

cursive

A Text User Interface library for the Rust programming language

Language:RustLicense:MITStargazers:4177Issues:0Issues:0

nixchess

Language:RustStargazers:3Issues:0Issues:0

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigLicense:MITStargazers:32412Issues:0Issues:0

pyo3

Rust bindings for the Python interpreter

Language:RustLicense:NOASSERTIONStargazers:11535Issues:0Issues:0

RustPython

A Python Interpreter written in Rust

Language:RustLicense:MITStargazers:18086Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:95112Issues:0Issues:0

Kindelia

An efficient, secure cryptocomputer

Language:RustStargazers:608Issues:0Issues:0

dream

Tidy, feature-complete Web framework

Language:OCamlLicense:MITStargazers:1555Issues:0Issues:0

dune

A composable build system for OCaml.

Language:OCamlLicense:MITStargazers:1568Issues:0Issues:0

js-compiler

Compilador de Javascript em C++

Language:C++Stargazers:2Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10303Issues:0Issues:0

Kindelia

A minimal decentralized computer.

Language:TypeScriptLicense:MITStargazers:122Issues:0Issues:0

nesp

NES emulator in lisP

Language:Common LispLicense:MITStargazers:2Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3530Issues:0Issues:0

olcNES

NES Emulator, and Tutorial Video Code

Language:C++Stargazers:1311Issues:0Issues:0