z-snails Goto Github PK
Name: Zoe Stafford
Type: User
Name: Zoe Stafford
Type: User
A super simple sticky notes app built in rust with GTK.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A massively parallel, optimal functional runtime in Rust
WIP souffle bindings for idris(2)
A purely functional programming language with first class types
Small async library for idris2, inspired by purescript-aff
Utilities and documentation for exploring idirs2's new elaborator reflection.
GRIN backend for Idris2
Interface for types that can be hashed.
Hash-array map tries in Idris2
Language Server for Idris2
Julia backend for Idris 2
Splitmix implementation in Idris (2)
Wrapper around primitive String, with significantly better asymtopics in some operations, and is never asymtopically slower
Inigo: A Package Manager for Idris2
LR(1) parser generator for Rust
Lightning-fast and Powerful Code Editor written in Rust
Raw bindings to platform APIs for Rust
Multiplates for Idris 2
Making benchmarking a walk in the park - A small benchmarking utility for idris2
Bernardy style pretty-printer
Idris2 (s)imple (a)rgument (p)arser
Package manager for Idris
Efficient string builders for idris 2
Small testing framework for Idris 2
A TOML parser for Idris 2
Traverse and manipulate without the boilerplate
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.