miguelsantos

followers

0

following

stars

GO, Brasil

Miguel Santos's starred repositories

juicefs

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

Language:GoApache-2.0994200

blink

tiniest x86-64-linux emulator

Language:CISC675900

sregx

A tool and library for using structural regular expressions.

Language:GoMIT5900

brimm

Notion-inspired versatile knowledge management backed by a graph you own, full stack and open source.

MIT9100

ccase

Command line interface to convert strings into any case.

Language:RustMIT1900

l10n-brazil

Localização brasileira oficial do Odoo.

Language:PythonAGPL-3.022500

trippy

A network diagnostic tool

Language:RustApache-2.0313300

terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Language:C++NOASSERTION268100

motion-canvas

Visualize Your Ideas With Code

Language:TypeScriptMIT1527000

design-patterns-for-humans

An ultra-simplified explanation to design patterns

the-super-tiny-compiler

:snowman: Possibly the smallest compiler ever

Language:JavaScriptCC-BY-4.02754100

age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Language:GoBSD-3-Clause1553100

cosmopolitan

build-once run-anywhere c library

Language:CISC1549800

v86

x86 PC emulator and x86-to-wasm JIT, running in the browser

Language:RustBSD-2-Clause1933300

whisper.cpp

Port of OpenAI's Whisper model in C/C++

Language:CMIT3238400

unison

A friendly programming language from the future

Language:HaskellNOASSERTION560800

robotnix

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

Language:Nix58000

pipeworld

Dataflow 'spreadsheet' desktop environment

Language:LuaBSD-3-Clause15000

arcan

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

Language:CNOASSERTION150200

infnoise

The world's easiest TRNG to get right

Language:CCC0-1.012100

automa

A browser extension for automating your browser by connecting blocks

Language:VueNOASSERTION1050200

notation

Collection of quotes on notation design & how it affects thought.

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.01013900

bento

A KISS deployment tool to keep your NixOS fleet (servers & workstations) up to date.

Language:ShellMIT20700

AllTools

All reasonably stable tools

MIT107400

fundsp

Library for audio processing and synthesis

Language:RustApache-2.066800

hyprspace

A Lightweight VPN Built on top of IPFS + Libp2p for Truly Distributed Networks.

Language:GoApache-2.054700

NimForUE

Nim plugin for UE5 with native performance, hot reloading and full interop that sits between C++ and Blueprints. This allows you to do common UE workflows like for example to extend any UE class in Nim and extending it again in Blueprint if you wish so without restarting the editor. The final aim is to be able to do in Nim what you can do in C++

Language:NimMIT44900

Mezzano

An operating system written in Common Lisp

Language:Common LispMIT350400

httm

Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even actual Time Machine backups!)

Language:RustMPL-2.0122300