o-santi

emacs

My emacs config (as a nix flake)

functional-structures

my studies through functional implementations of common data-structures

kind-mode

Kind-lang major mode for emacs

nixchess

js-compiler

Compilador de Javascript em C++

nesp

NES emulator in lisP

AD

repositório para entrega de trabalhos de avaliação e desempenho (2023.2)

hltv-stats

mini hltv database

py-hvm

nocargo

[alpha] Build Rust crates with Nix Build System.

acesmbler

um simples assembler pra CES

aoc2023

Advent of Code purely as nix expressions

comp-conc

Trabalhos de Computação Concorrente

from-elisp

An Emacs Lisp reader in Nix.

hltv-rust

A client to fetch and parse data from HLTV.org (origin at https://foss.alic.dev/dist1ll/hltv-rust)

HVM

A massively parallel, optimal functional runtime in Rust

hvm-js

High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM

hvm-visual-debugger

inets

General Inets Simulator

java_cc

repositorio para guardar os trabalhos em java de computação 2 (CC)

Kind1

A modern proof language

Kindelia

Kindelia: an efficient, secure cryptocomputer

kindelia-events

Kindelia events

nixos

My personal devices' configuration in nix.

o-santi

customizing github frontpage

prelude

Purely functional data structures in HVM

pyearley

An earley parser implementation in python

sssg

santi's static site generator

tree-sitter-org

Org grammar for tree-sitter but using tree-sitter-c2rust

Wikind

Collection of Kind2 programs and proofs