Pinned Repositories
100sort
2b1q-transmitter
Small application that encodes a message in 2B1Q and sends to another computer
algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
DLVR
lambda-eval
Simple Lambda Calculus evaluator with hvm-lang syntax
Pentagon-Commander
pyapt
Controlling Thorlabs APT using Python code using APT.dll and APT.lib, bypassing the activex controls
rowhammer_rpi3
Simple Rowhammer attack PoC for Raspberry Pi 3B+
Bend
A massively parallel, high-level programming language
developedby's Repositories
developedby/lambda-eval
Simple Lambda Calculus evaluator with hvm-lang syntax
developedby/rowhammer_rpi3
Simple Rowhammer attack PoC for Raspberry Pi 3B+
developedby/algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
developedby/Pentagon-Commander
developedby/DLVR
developedby/HVM
A massively parallel, optimal functional runtime in Rust
developedby/Robo-Sugador
developedby/dds-group10
NTNU Design of Digital Systems 1 - 2023/2 - Group 10
developedby/developedby.github.io
My website
developedby/dim-reduction-vitis-hls
developedby/HVM2
developedby/ICVM-lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
developedby/Kaitai-to-Json-Converter
developedby/Kind
A modern proof language
developedby/kind2_
Temporary repository for Kind2's refactor based on HVM2
developedby/Laboratorios-Logica-Reconfiguravel
developedby/Laboratorios-Sistemas-Microcontrolados
developedby/ping-pong-os
developedby/polito_microelectronic_lab
developedby/Random-Scripts
developedby/SlurBot
developedby/Snake-3D
developedby/sods-lp-contest
developedby/SRAG-COVID
developedby/Tarefas-Processamento-de-Imagens
developedby/Tarefas-Redes-de-Computadores
developedby/Tarefas-Sistemas-Inteligentes
developedby/todos_juros
Cálculo dos juros a partir do acréscimo. Calculation of interest based on the increase.
developedby/Trabalhos-Sistemas-Distribuidos
developedby/TSPL
The Simplest Parser Library (that works) in Rust