developedby Goto Github PK

100sort

2b1q-transmitter

Small application that encodes a message in 2B1Q and sends to another computer

bitburner

Bitburner Game

class

dds-group10

NTNU Design of Digital Systems 1 - 2023/2 - Group 10

dice-roller

Dice roller written in python (Takes arguments through the script ex: python dice_roller 2d6)

dim-reduction-vitis-hls

dlvr

hvm

A massively parallel, optimal functional runtime in Rust

hvm2

icvm-lazy

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

instrumental

Python-based instrumentation library from the Mabuchi Lab.

is-odd

Is a number odd?

kaitai-to-json-converter

kind

A modern proof language

kind2

Kind refactor based on HVM

kind2_

Temporary repository for Kind2's refactor based on HVM2

kindelia

Kindelia: an efficient, secure cryptocomputer

kindelia-place

laboratorios-logica-reconfiguravel

laboratorios-sistemas-microcontrolados

lambda-eval

Simple Lambda Calculus evaluator with hvm-lang syntax

lyrebird

🦜 Simple and powerful voice changer for Linux, written in GTK 3.

morevillagers

🏠 A Minecraft mod that adds more villagers, trades, and workstations.

nicotine-plus

Nicotine+: A graphical client for the SoulSeek peer-to-peer system

optimus-prime

O grande líder Optimus

pentagon-commander

ping-pong-os

polito_microelectronic_lab

pyapt

Controlling Thorlabs APT using Python code using APT.dll and APT.lib, bypassing the activex controls