Discover VictorTaelin/ethereum-offline-signer Open Source project

Stars
4
Rank 3,211,706 (Top 65 %)
Language
JavaScript
Created about 5 years ago
Updated about 5 years ago

VictorTaelin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Signs an Ethereum transaction from the command line.

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.

JavaScript

1,163

Interaction-Calculus

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

Rust

597

LJSON

JSON extended with pure functions.

JavaScript

500

Caramel

A modern syntax for the λ-calculus.

Haskell

405

PureState

The stupidest state management library that works.

JavaScript

309

forall

Expressive static types and invariant checks for JavaScript.

JavaScript

227

abstract-algorithm

Optimal evaluator of λ-calculus terms.

JavaScript

222

Cedille-Core

A minimal proof language.

JavaScript

193

optlam

An optimal function evaluator written in JavaScript.

JavaScript

115

calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

JavaScript

Interaction-Type-Theory

Bitspeak

articles

ChatSH

Chat with GPT from the terminal, with the ability to execute shell scripts.

JavaScript

ESCoC

A nano "theorem prover".

JavaScript

absal-ex

Absal ex

eth-lib

Lightweight Ethereum libraries

JavaScript

UrnaCripto

Referendos criptograficamente incorruptíveis.

JavaScript

lrs

Linkable Ring Signatures on JavaScript and PureScript.

PureScript

swarm-js

JavaScript

lambda-calculus

A simple, clean and fast implementation of the λ-calculus on JavaScript.

JavaScript

heart

JavaScript

AIEMU

Simple AI-based (Claude-3) game emulator

JavaScript

nano-ethereum-signer

Very small Ethereum signer and verifier

JavaScript

absal-rs

Rust

Moonad-web-legacy

A Peer-to-Peer Operating System

JavaScript

Formality

JavaScript

ultimate-calculus

TypeScript

HOC

interaction-calculus-of-constructions

A minimal proof checker.

TypeScript

nano-json-stream-parser

A complete, pure JavaScript, streamed JSON parser in less than 1kb.

JavaScript

servify

Microservices in the simplest way conceivable.

JavaScript

ab_challenge_eval

Evaluator for the A::B Prompting Challenge

JavaScript

kind-ai

optimul

Multiplication on optimal λ-calculus reducers

JavaScript

parallel_lambda_computer_tests

learning cuda

Cuda

Navim

Navigates files on the terminal with the minimal amount of keystrokes.

JavaScript

Elementary-Affine-Core-legacy

A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

JavaScript

formality-agda-lib-legacy

Agda libraries relevant to Moonad

Agda

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

JavaScript

Elementary-Affine-Type-Theory-legacy

Minimal, efficient proof language

JavaScript

Taelang

my personal lang

TypeScript

unknown_halting_status

Small programs with unknown halting status.

JavaScript

lsign

Quantum-proof, 768-bit signatures for 1-bit messages

JavaScript

AI-scripts

Some handy AI scripts

JavaScript

diagonalize

Searches through infinite branches

JavaScript

escoc-libs-legacy

Base Formality libraries

JavaScript

MiniPaper

shorten long papers with GPT-4

JavaScript

Elementary-Affine-Net-legacy

JavaScript

Formality-Net-legacy

run_solidity

Runs a Solidity file. That's all.

JavaScript

OpenLegends

An open-source MOBA in Rust

formality-document

Rust

coc-with-math-prims

JavaScript

Nasic-legacy

N-Ary Symmetric Interaction Combinators

JavaScript

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

JavaScript

taemoba

LPU

JavaScript

Formality-Web-legacy

JavaScript

uwuchat

chat based messaging and rollback state computer

JavaScript

LambdaIO-Formality-Talk

JavaScript

Treeduce

Vote

Formality-to-Nasic-legacy

Compiles a Formality term to a Nasic graph

JavaScript

clifun

3D clifford algebras visualization

JavaScript

Formality-IO-legacy

JavaScript

nano-persistent-memoizer

Caches a function permanently on browser and node.

JavaScript

nano-sha256

Use native Sha256 on both browser and Node.js

JavaScript

ReflexScreenWidget

A widget for Haskell-Reflex that renders a dynamic image to a Canvas in realtime.

Haskell

OSX

Vim script

EthFP

freeform-wpm-test

A simple WPM test that allows you to type anything you want.

HTML

ethereum-rpc

JavaScript

ethereum-publisher-dapp

JavaScript

symmetric-interaction-calculus-benchmarks

SIC benchmarks

JavaScript

NeoTaelin

shared-state-machine

JavaScript

Trabalho-IC-UFRJ-2

Python

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks

JavaScript

VictorTaelin

MiniPapers

Papers and books minified to fit given LLMs context lengths.

gpt

hvm2

Cuda

Formality-sugars-legacy

Default syntax sugars for Formality

JavaScript

talks

PongFromScratch

A simple tutorial on how to create a ping-pong game from scratch

kind-react-component

Renders a Kind app as a React component

fineorder

PotS

JavaScript

piramidex

JavaScript

LamBolt

The ultimate compile target for functional languages

sketch_bros

Super Sketch Bros!

JavaScript

StupidMinimalistHash

MaiaVictor.github.io

haelin

cuda_rewrite_tests

luna-lang-old-abandoned-repo

Typed version of Moon-lang

JavaScript

Kind2

Kind refactor based on HVM

inferno-hello-world

Inferno Hello World with Hyperscript

JavaScript

100

posts

VictorTaelin/ethereum-offline-signer

VictorTaelin

Reviews

Repository Details

More Repositories