Pinned Repositories
AD
repositório para entrega de trabalhos de avaliação e desempenho (2023.2)
emacs
My emacs config (as a nix flake)
functional-structures
my studies through functional implementations of common data-structures
js-compiler
Compilador de Javascript em C++
kind-mode
Kind-lang major mode for emacs
nesp
NES emulator in lisP
nix-in-rust
Nix bindings for Rust
nixchess
nixos
My personal devices' configuration in nix.
o-santi.github.io
o-santi's Repositories
o-santi/emacs
My emacs config (as a nix flake)
o-santi/functional-structures
my studies through functional implementations of common data-structures
o-santi/kind-mode
Kind-lang major mode for emacs
o-santi/nix-in-rust
Nix bindings for Rust
o-santi/nixchess
o-santi/o-santi.github.io
o-santi/js-compiler
Compilador de Javascript em C++
o-santi/AD
repositório para entrega de trabalhos de avaliação e desempenho (2023.2)
o-santi/hltv-stats
mini hltv database
o-santi/py-hvm
o-santi/nixos
My personal devices' configuration in nix.
o-santi/nocargo
[alpha] Build Rust crates with Nix Build System.
o-santi/aoc2023
Advent of Code purely as nix expressions
o-santi/comp-conc
Trabalhos de Computação Concorrente
o-santi/from-elisp
An Emacs Lisp reader in Nix.
o-santi/hltv-rust
A client to fetch and parse data from HLTV.org (origin at https://foss.alic.dev/dist1ll/hltv-rust)
o-santi/HVM
A massively parallel, optimal functional runtime in Rust
o-santi/hvm-js
High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM
o-santi/hvm-visual-debugger
o-santi/IA
o-santi/inets
General Inets Simulator
o-santi/Kind1
A modern proof language
o-santi/Kindelia
Kindelia: an efficient, secure cryptocomputer
o-santi/nix
Nix, the purely functional package manager
o-santi/o-santi
customizing github frontpage
o-santi/prelude
Purely functional data structures in HVM
o-santi/pyearley
An earley parser implementation in python
o-santi/sssg
santi's static site generator
o-santi/tree-sitter-org
Org grammar for tree-sitter but using tree-sitter-c2rust
o-santi/Wikind
Collection of Kind2 programs and proofs