mariszo Goto Github PK
Name: Mariszo
Type: User
Name: Mariszo
Type: User
Aada Token swap smart contract used to swap AADA v1 to AADA v2
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
Add ACID guarantees to any serializable Haskell data structure
Flexible persistence for Haskell data types primarily based on event logging and checkpoints
Spineless containers which are fast to read but inefficient to update
A DSL in which composition and application are unified.
Ally Invest integration library
Angular Material Course
a fast, type driven, extensible ECS for game development
Procet Management Software
Clojure in Unity
Arithmetic circuits for zero knowledge proof systems
The dApp Hub for blockchains of the future
A secure, multilingual package manager for Arch Linux and the AUR.
a lively vi
A curated list of awesome projects and resources relating to DFINITY and the Internet Computer
A curated list to learn about distributed systems
Curated list of resources for Embedded and Low-level development in the Rust programming language
The Serval Mesh app for Android. EXPERIMENTAL SOFTWARE.
A type-safe, non-TH Haskell SQL library and ORM
Hoogle terminal UI brick example app
Blazor is an experimental .NET web framework using C#/Razor and HTML that runs in the browser with WebAssembly
Generic blockchain implementation in Haskell.
A basic blockchain implementation in Rust for educational purposes only
Haskell SDK for Blockfrost.io
A textbook on informal homotopy type theory
Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
Boot task to auto-format Clojure(Script) code
An operating system designed for hosting containers
Combinators for manipulating locally-nameless generalized de Bruijn terms
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.