emturner Goto Github PK
Name: Emma Turner
Type: User
Company: @trilitech
Name: Emma Turner
Type: User
Company: @trilitech
contains advent of code solutions
Fast Ethereum full-node implementation
provides metadata for chains
An in-development "robocoin" system for the Tezos blockchain
A sensible base Emacs configuration.
crypto primitives in pure rust - wasm compatible - maintained fork of rust-crypto
ctez contract and frontend
An Emacs framework for the stubborn martian hacker
A application for LGBTQ Flags in the terminal. Built as a simple project mainly for learning purposes.
Specification of the Formality proof and programming language
A minimal pure functional language based on self dependent types.
GCC Front-End for Rust
A collection of extra packages I use with Guix
Assorted immutable collection datatypes for Rust
The Ion Shell. Compatible with Redox and Linux.
JavaScript server runtime for Tezos Smart Rollups
A modern proof language
mal - Make a Lisp
Mal (Make A Lisp) rust compiler
Recipes and build machinery for the biggest Emacs package repo
Context sensitive completion for OCaml in Vim and Emacs
An upcoming operating system built on Type-Theory
Multicall: Aggregate multiple constant function call results into one
Nostr protocol implementation, SDK and FFI
simple but convenient CLI-based Nostr client app for following users and sending DMs
A Nostr Relay written in TypeScript
proof-of-concept indexer for outbox messages
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.