8000 o-santi (Leonardo Santiago) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View o-santi's full-sized avatar
🤪
🤪
46 followers · 28 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report o-santi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

fzakaria / sqlelf

Explore ELF objects through the power of SQL

Python 256 8 Updated Aug 4, 2024

ccz181078 / Coq-BB5

Coq 305 12 Updated Mar 31, 2025

serokell / deploy-rs

A simple multi-profile Nix-flake deploy tool.

Rust 1,606 107 Updated May 19, 2025

tvlfyi / tvix

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

Rust 839 12 Updated May 18, 2025

ibrahim-akrab / nixos

Personal nixos and home-manager configurations.

Nix 2 Updated May 22, 2025

o-santi / o-santi.github.io

TeX 3 1 Updated Oct 29, 2024

nix-community / raspberry-pi-nix

NixOS modules to aid in configuring NixOS for raspberry pi products

Nix 299 78 Updated Mar 23, 2025

AndrasKovacs / staged

Staged compilation with dependent types

TeX 172 3 Updated May 8, 2025

NixOS / nixpkgs

Nix Packages collection & NixOS

Nix 20,492 15,737 Updated May 22, 2025

NixOS / nix

Nix, the purely functional package manager

C++ 14,320 1,643 Updated May 22, 2025

m00natic / vlfi

View Large Files in Emacs

Emacs Lisp 468 24 Updated Aug 11, 2021

ryantm / agenix

age-encrypted secrets for NixOS and Home manager

Nix 1,803 129 Updated May 18, 2025

NixOS / nix-mode

An Emacs major mode for editing Nix expressions.

Emacs Lisp 309 78 Updated Jun 25, 2024

nix-community / emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

Nix 555 176 Updated May 22, 2025

leptos-rs / leptos

Build fast web applications with Rust.

Rust 18,430 759 Updated May 22, 2025

djcb / mu

maildir indexer/searcher + emacs mail client + guile bindings

C++ 1,648 394 Updated May 21, 2025

rougier / mu4e-dashboard

A dashboard for mu4e (mu for emacs)

Emacs Lisp 480 43 Updated Jan 22, 2024

oxalica / nocargo

[alpha] Build Rust crates with Nix Build System.

Nix 166 8 Updated Apr 30, 2025

gyscos / cursive

A Text User Interface library for the Rust programming language

Rust 4,505 254 Updated Apr 13, 2025

o-santi / nixchess

Rust 3 Updated May 30, 2023

ziglang / zig

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

Zig 39,070 2,837 Updated May 22, 2025

PyO3 / pyo3

Rust bindings for the Python interpreter

Rust 13,663 831 Updated May 21, 2025

RustPython / RustPython

A Python Interpreter written in Rust

Rust 20,088 1,309 Updated May 21, 2025

rust-lang / rust

Empowering everyone to build reliable and efficient software.

Rust 103,695 13,352 Updated May 22, 2025

kindelia / Kindelia

An efficient, secure cryptocomputer

Rust 618 39 Updated Nov 25, 2023

aantron / dream

Tidy, feature-complete Web framework

OCaml 1,710 146 Updated Dec 20, 2024

ocaml / dune

A composable build system for OCaml.

OCaml 1,729 433 Updated May 22, 2025

o-santi / js-compiler

Compilador de Javascript em C++

C++ 2 Updated Mar 7, 2022

HigherOrderCO / HVM

A massively parallel, optimal functional runtime in Rust

Cuda 11,010 421 Updated Nov 21, 2024

kindelia-archive / Kindelia

A minimal decentralized computer.

TypeScript 119 5 Updated Feb 9, 2022
Next
0