lexzaiello/sk-lean

Language: Lean - Size: 2.35 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

lexzaiello/lexzaiello.github.io

Me.

Language: CSS - Size: 2.45 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

lexzaiello/ic-sandbox

IC Sandbox: my aggregated interaction combinator research sandbox.

Language: Rust - Size: 4.03 MB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

lexzaiello/dotfiles

My nix files for emacs, ricing, etc...

Language: Nix - Size: 307 KB - Last synced at: 14 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

lexzaiello/info-201-final-project

Language: HTML - Size: 308 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

lexzaiello/partial_order_tactic Fork of dhruvashok/partial_order_tactic

Partiarith with BFS

Language: Lean - Size: 41 KB - Last synced at: 14 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

lexzaiello/dubchan-react

DubChan UI written in react.

Language: TypeScript - Size: 4 MB - Last synced at: 14 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

lexzaiello/tactics

Some lean tactics I'm making

Language: Lean - Size: 6.84 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

lexzaiello/math-480-final-project

Dowland, Jeb, Taylor, Vani

Language: Lean - Size: 21.5 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

lexzaiello/MATH480

Language: HTML - Size: 47.3 MB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

lexzaiello/fp-formal

Rocq stuff

Size: 1000 Bytes - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

lexzaiello/ic.lean

Interaction Combinators in Lean for Proving Properties of High Level Compilers

Size: 1000 Bytes - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

lexzaiello/learning-lean

Learrning lean

Language: Lean - Size: 19.5 KB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

lexzaiello/learning-haskell

Language: Haskell - Size: 25.4 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

lexzaiello/lci

Fun!

Language: Rust - Size: 48.8 KB - Last synced at: 14 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

lexzaiello/proselint.nix

Language: Nix - Size: 1.95 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

lexzaiello/mywm

My penrose-based tiling wm.

Language: Rust - Size: 19.5 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

lexzaiello/wtftw.nix

Flake packaging the wtftw window manager.

Language: Nix - Size: 2.93 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

lexzaiello/config.nix

My nix config files.

Language: Nix - Size: 18.6 KB - Last synced at: 14 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

lexzaiello/CryptPy.js

Agile Python/JS botnet (educational purposes only lol).

Language: HTML - Size: 223 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 3

lexzaiello/auction-arbitrage-bot Fork of timewave-computer/auction-arbitrage-bot

An extensible arbitrage bot for trading against valence auctions, Astroport and Osmosis.

Language: Python - Size: 2.05 MB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

lexzaiello/interchaintest Fork of strangelove-ventures/interchaintest

e2e testing framework for the interchain

Size: 4.54 MB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

lexzaiello/covenants Fork of timewave-computer/covenants

Size: 9.7 MB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

lexzaiello/melon

:watermelon: A modular peer-to-peer communications library for Java with minimal overhead.

Language: Java - Size: 117 KB - Last synced at: 4 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

lexzaiello/corona-inc

Coronavirus, but it's plague inc.

Language: JavaScript - Size: 33.6 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

lexzaiello/toydb

Toy database implemented for fun in Rust with asynchronous I/O and actor concurrency.

Language: Rust - Size: 337 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

lexzaiello/gsolvew

A neat little utility that solves word search puzzles quickly and (not so) efficiently.

Language: Go - Size: 13.7 KB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

lexzaiello/gnomegg

Ho ho ho ha ha, ho ho ho he ha. Hello there, old chum. I'm an ultra-fast, end-to-end encrypted, resource-conscious https://destiny.gg alternative.

Language: Rust - Size: 469 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/tzchat

Language: Rust - Size: 89.8 KB - Last synced at: 14 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

lexzaiello/tzhs.chat

https://tzhs.chat

Language: Rust - Size: 2.93 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lexzaiello/rust Fork of rust-lang/rust

Empowering everyone to build reliable and efficient software.

Size: 896 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

lexzaiello/hambda

Lambda calculus evaluator in Haskell.

Size: 1000 Bytes - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

lexzaiello/libp2p-websys-transport Fork of vincev/libp2p-websys-transport

A libp2p Websocket transport for Wasm browser apps.

Language: Rust - Size: 23.4 KB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

lexzaiello/horth

It's like forth but in haskell.

Language: Haskell - Size: 14.6 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

lexzaiello/GoP2P

A streamlined shard-based P2P networking stack built in Go.

Language: Go - Size: 135 MB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

lexzaiello/ferrOS

An ultra-configurable operating system written in Rust.

Language: Rust - Size: 44.9 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

lexzaiello/go-simplesub

A minimalistic pubsub messaging system built on top of libp2p with routing support.

Language: Go - Size: 97.7 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

lexzaiello/dowlandaiello

About me.

Size: 1.95 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

lexzaiello/hw4-analysis

Language: Rust - Size: 325 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

lexzaiello/lawrence-bday

Lawrence's birthday card written with yew and tailwind.

Language: Rust - Size: 23.9 MB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

lexzaiello/qvoting-bot

A discord bot implementing quadratic voting among user-selected topics.

Language: Rust - Size: 14.6 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

lexzaiello/Crypto-Go

Collection of APIs for creating a cryptocurrency exchange.

Language: Go - Size: 27.7 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 4

lexzaiello/predictive-movienight

My brother and I aren't that great at picking movies. I decided to fix that!

Language: R - Size: 274 KB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

lexzaiello/geckodriver-docker-image Fork of instrumentisto/geckodriver-docker-image

geckodriver Docker image

Size: 68.4 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

lexzaiello/convertable-errors

A declarative Rust macro for ergonomically deriving From<E> implementations for error Enum variants.

Language: Rust - Size: 6.84 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

lexzaiello/resume

My resume written in TeX.

Size: 0 Bytes - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lexzaiello/learning-arm64

Part of my compsci capstone class: learning GAS A64 assembly.

Language: Assembly - Size: 8.79 KB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lexzaiello/excash

Anonymous, distributed financial ledger written in Elixir.

Language: Elixir - Size: 1.05 MB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lexzaiello/tsh

A tiny shell written in C.

Language: C - Size: 112 KB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

lexzaiello/learningx86

Language: Assembly - Size: 0 Bytes - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

lexzaiello/physics-notes

My physics notes.

Language: TeX - Size: 139 KB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

lexzaiello/flutter-todolist

A simple todolist for learning Flutter.

Language: Dart - Size: 55.7 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/notedly

A demonstration of Rust's full-stack capabilities. Also, an open-source notepad.

Language: Rust - Size: 5.02 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

lexzaiello/chat Fork of destinygg/chat

The chat back-end for destiny.gg, written in Go, based on Golem (github.com/trevex/golem)

Language: Go - Size: 191 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/bio-notes

My notes for biology class.

Language: TeX - Size: 21.4 MB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/ed25519-dalek Fork of dalek-cryptography/ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

Size: 645 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/eve

A computational approach to modeling population evolution.

Language: Go - Size: 99.6 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

lexzaiello/cdrs Fork of AlexPikalov/cdrs

Cassandra DB native client written in Rust language. Find 1.x versions on https://github.com/AlexPikalov/cdrs/tree/v.1.x Looking for an async version? - Check WIP https://github.com/AlexPikalov/cdrs-async

Language: Rust - Size: 1.9 MB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/research

Some of my thoughts.

Language: Jupyter Notebook - Size: 1.57 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

lexzaiello/tpwn

TestPwn - A command-line utility for scraping online school test questions from quizlet.com.

Language: Go - Size: 15.6 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/stackoverflow-questions

Language: Rust - Size: 3.91 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/nd

Theme management for night and day.

Language: Go - Size: 6.84 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lexzaiello/diesel Fork of diesel-rs/diesel

A safe, extensible ORM and Query Builder for Rust

Size: 16.4 MB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/discord-emacs.el Fork of simmsb/discord-emacs.el

Discord rich presence for emacs.

Size: 35.2 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/corona.js

A parser for the Johns Hopkins CSSE COVID-19 data dump.

Language: TypeScript - Size: 281 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

lexzaiello/derivative-calculator

A derivative calculator using machine learning.

Size: 162 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/selection-sim

Simulating the evolution of populations of mechanically random actors.

Language: Python - Size: 9.77 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/mammal-madness

Generating brackets for the March mammal madness challenge: https://libguides.asu.edu/MarchMammalMadness

Size: 2.93 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/BLAKE3 Fork of BLAKE3-team/BLAKE3

official implementations of the BLAKE3 cryptographic hash function

Language: Assembly - Size: 948 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/deepspace-2020

A refactor of @sobotz 's robot code with the 2020 WPI library.

Language: Java - Size: 153 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/gomerize

A command-line application useful for memorizing arbitrary amounts of information.

Language: Go - Size: 4.88 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lexzaiello/libre-gen

An open-source parser for the GenBank nucleotide sequence format.

Language: Rust - Size: 3.91 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/rust-libp2p Fork of libp2p/rust-libp2p

The Rust Implementation of libp2p networking stack.

Size: 4.29 MB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/alphabotj

Code for @sobotz 's alphabot.

Size: 0 Bytes - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/rusti

The GOPATH, for Rust.

Language: Rust - Size: 28.3 KB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/reqwest Fork of seanmonstar/reqwest

An easy and powerful Rust HTTP Client

Language: Rust - Size: 1.1 MB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/actix-redis Fork of actix/actix-redis

Redis actor and middleware for Actix

Language: Rust - Size: 855 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/rustnow-orb

A circleci orb for deploying rust applications on Zeit's now platform.

Language: Shell - Size: 16.6 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/circleci-orbs Fork of CircleCI-Archived/circleci-orbs

The source code for some of the orbs published by CircleCI

Language: Shell - Size: 281 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lexzaiello/immutable-go

Straightforward, functional immutable data collections for Go.

Language: Go - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

lexzaiello/microsoft-drop-ice Fork of selfagency/microsoft-drop-ice

Tell Microsoft to drop ICE as a client or lose us as GitHub users

Size: 834 KB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

lexzaiello/gocv Fork of hybridgroup/gocv

Go package for computer vision using OpenCV 4 and beyond.

Language: Go - Size: 4.28 MB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

lexzaiello/Despacito-Go

The decentralized cryptocurrency dedicated to evolving Despacito.

Language: Go - Size: 75.2 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/hasketh

A minimal sharding client written in Haskell.

Language: Haskell - Size: 18.6 KB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/wavelet Fork of perlin-network/wavelet

Write once, run forever. Deploy robust, scalable, decentralized WebAssembly applications on Wavelet.

Language: Go - Size: 23.3 MB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/kashoot.it

A kahoot bot, lol.

Size: 1.95 KB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/mcserver-backend Fork of mattnappo/mcserver-backend

The backend for a Minecraft Server hosting platform.

Language: Go - Size: 87.9 KB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/go-simplesub-examples

A list of examples for using the go-simplesub protocol.

Size: 5.86 KB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

lexzaiello/matcha Fork of gomatcha/matcha

Build native mobile apps in Go.

Language: Go - Size: 7.65 MB - Last synced at: 14 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

lexzaiello/B9Lab-Assignments

A collection of my work done while completing the b9lab eth-27 development course.

Language: JavaScript - Size: 1.36 GB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/go-spacemesh Fork of spacemeshos/go-spacemesh

Go Implementation of the Spacemesh blockmesh p2p node. 💾⏰💪

Language: Go - Size: 43.1 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/go-xdr Fork of stellar/go-xdr

Implements the XDR standard as specified in RFC 4506 in pure Google Go (Golang)

Language: Go - Size: 190 KB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/GitChain

A blockchain-based version control system.

Language: Java - Size: 272 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

lexzaiello/smart-contract-rs Fork of perlin-network/smart-contract-rs

Writing WebAssembly smart contracts in Rust.

Language: Rust - Size: 33.2 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/react-blockies Fork of AugurProject/react-blockies

React Component for Generating Identicons Congruent to Ethereum Wallet’s Identicons

Language: JavaScript - Size: 52.7 KB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

lexzaiello/goinit

A simple utility that creates a new Go project in the GOPATH.

Language: Go - Size: 13.7 KB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/ray-tracing Fork of ypujante/ray-tracing

This is a go implementation of the "Ray Tracing in One Weekend" book

Language: Go - Size: 318 KB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

lexzaiello/go-ethereum Fork of ethereum/go-ethereum

Official Go implementation of the Ethereum protocol

Language: Go - Size: 103 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/message-term Fork of mattnappo/message-term

An encrypted iMessage client.

Language: JavaScript - Size: 17.3 MB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lexzaiello/go-perlin Fork of aquilax/go-perlin

Perlin noise generator in Go

Language: Go - Size: 220 KB - Last synced at: 14 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0