emturner Goto Github PK

advent-of-code

contains advent of code solutions

akula

Fast Ethereum full-node implementation

chains

provides metadata for chains

checker

An in-development "robocoin" system for the Tezos blockchain

crafted-emacs

A sensible base Emacs configuration.

cryptoxide

crypto primitives in pure rust - wasm compatible - maintained fork of rust-crypto

ctez

ctez contract and frontend

doom-emacs

An Emacs framework for the stubborn martian hacker

flag

A application for LGBTQ Flags in the terminal. Built as a simple project mainly for learning purposes.

formality-core

Specification of the Formality proof and programming language

formcorejs

A minimal pure functional language based on self dependent types.

gccrs

GCC Front-End for Rust

gitlab-todo

guix-channel

A collection of extra packages I use with Guix

im-rs

Assorted immutable collection datatypes for Rust

ion

The Ion Shell. Compatible with Redox and Linux.

jstz

JavaScript server runtime for Tezos Smart Rollups

kind

A modern proof language

ledger-app-database

ledger-secure-sdk

mal

mal - Make a Lisp

mal-rustc

Mal (Make A Lisp) rust compiler

melpa

Recipes and build machinery for the biggest Emacs package repo

merlin

Context sensitive completion for OCaml in Vim and Emacs

moonad

An upcoming operating system built on Type-Theory

multicall

Multicall: Aggregate multiple constant function call results into one

nostr

Nostr protocol implementation, SDK and FFI

nostr-commander-rs

simple but convenient CLI-based Nostr client app for following users and sending DMs

nostream-tz

A Nostr Relay written in TypeScript

outboxer

proof-of-concept indexer for outbox messages