Pinned Repositories
js-beautify
Beautifier for javascript
HVM
A massively parallel, optimal functional runtime in Rust
Kind
A modern proof language
Kindelia
An efficient, secure cryptocomputer
cg
HVM
LambdaVM in Rust
hvm-visualizer
HVM debug visualizer
kind-events
WebSocket event api draft
pluralsight_authorquiz
Projeto feito com objetivo de aprendizado, seguindo o curso React Fundamentals by Liam McLennan, presente na plataforma Pluralsight
uwu-company-blog
UwU Site
racs4's Repositories
racs4/hvm-visualizer
HVM debug visualizer
racs4/uwu-company-blog
UwU Site
racs4/kind-events
WebSocket event api draft
racs4/pluralsight_authorquiz
Projeto feito com objetivo de aprendizado, seguindo o curso React Fundamentals by Liam McLennan, presente na plataforma Pluralsight
racs4/color-convert
Plain color conversion functions in JavaScript
racs4/ExemploTcpJava
Exemplo simples de sockets TCP em Java
racs4/ExemploUdpJava
Exemplo Simples de Comunicação UDP em Java
racs4/github-action-benchmark
GitHub Action for continuous benchmarking to keep performance
racs4/HVM
LambdaVM in Rust
racs4/hvm-js
High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM
racs4/ifood-example
racs4/js-beautify
Beautifier for javascript
racs4/kind-vscode
A language server protocol implementation and vscode plugin for the Formality programming language.
racs4/Kind2
A next-gen functional language
racs4/Kindelia
Kindelia: an efficient, secure cryptocomputer
racs4/letras
Extensão para facilitar a busca por letras de músicas. Funciona em navegadores baseados em chrome
racs4/next.js
The React Framework
racs4/pluralsight_build-a-robot
Projeto criado para fins didáticos seguindo o curso Vue.js Fundamentals by Jim Cooper disponível na plataforma Pluralsight
racs4/popmovies
Projeto criado para consumo da API disponibilizada pelo "The Movie Database". Desenvolvido em React.
racs4/popmovies-vue
Projeto criado para consumo da API disponibilizada pelo "The Movie Database". Desenvolvido em Vue.
racs4/quizzler_flutter
Aplicativo no estilo quiz feito com fins de aprendizagem.
racs4/raianeeunice
racs4/SputnikVmFibBench
racs4/Wikind
Collection of Kind2 programs and proofs
racs4/dhis2-challenge
racs4/jest-mem-leak
racs4/tcc-backend
racs4/tcc-frontend
racs4/vagas
racs4/yo-memory-test