naoehsavio Goto Github PK
Name: nao e o savio
Type: User
Bio: T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
Name: nao e o savio
Type: User
Bio: T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
Optimal evaluator of λ-calculus terms.
Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
Rust Library for the Binance API
A ferramenta mais simples e fácil de usar para automatizar documentação de código
Collection of benchmarks of functional programming languages and proof assistants.
Teste Git
A massively parallel, optimal functional runtime in Rust
High-Order Virtual Monsters is a Battle Showdown Game.
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Kindelia: an efficient, secure cryptocomputer
Aprenda Elixir em 4 Pull Requests!
Jogando na Lotofácil utilizando rede neural.
Determines which markup library to use to render a content file (e.g. README) on GitHub
AGDA
Class
A modern proof language
Vast collection of Kind2 definitions
Colorblind-friendly heatmaps of move effectiveness against pokemon
Code examples, data structures, and links from my book, Rust Atomics and Locks.
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.