NaoEhSavio
Follow
-
codocx Public
Forked from jefferson-calmon/codocxA ferramenta mais simples e fácil de usar para automatizar documentação de código
-
-
-
-
bend-lang-utils Public
Forked from SergioBonatto/bend-lang-utilsBend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
UpdatedMay 27, 2024 -
HVM Public
Forked from HigherOrderCO/HVMA massively parallel, optimal functional runtime in Rust
Rust MIT License UpdatedApr 30, 2024 -
-
Learn4Elixir Public
Forked from Universidade-Livre/Learn4ElixirAprenda Elixir em 4 Pull Requests!
Mozilla Public License 2.0 UpdatedOct 8, 2023 -
NaoEhSavioWikind Public
Forked from Sipher/WikindVast collection of Kind2 definitions
Other UpdatedSep 11, 2023 -
IINS-Lazy Public
Forked from HigherOrderCO/ICVM-lazyA programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Rust MIT License UpdatedJul 13, 2023 -
-
-
Functional-Benchmarks Public
Forked from algebraic-dev/functional-benchmarksCollection of benchmarks of functional programming languages and proof assistants.
-
-
rust-atomics-and-locks Public
Forked from m-ou-se/rust-atomics-and-locksCode examples, data structures, and links from my book, Rust Atomics and Locks.
Rust Other UpdatedApr 26, 2023 -
-
abstract-algorithm Public
Forked from VictorTaelin/abstract-algorithmOptimal evaluator of λ-calculus terms.
JavaScript UpdatedFeb 4, 2023 -
-
markup Public
Forked from github/markupDetermines which markup library to use to render a content file (e.g. README) on GitHub
Ruby MIT License UpdatedNov 25, 2022 -
binance-rs Public
Forked from wisespace-io/binance-rsRust Library for the Binance API
Rust Other UpdatedOct 27, 2022 -
Kindelia Public
Forked from kindelia/KindeliaKindelia: an efficient, secure cryptocomputer
Rust UpdatedSep 22, 2022 -
Lotofacil Public
Forked from Mekylei-Belchior/lotofacilJogando na Lotofácil utilizando rede neural.
-
NaoEhSavioKind Public
Forked from HigherOrderCO/Kind-LegacyA modern proof language
JavaScript MIT License UpdatedAug 27, 2022 -
vscode-kind-syntax Public
Forked from MaisaMilena/vscode-kind-syntaxVSCode syntax highlight for Kind language
CoffeeScript MIT License UpdatedAug 13, 2022 -
Hvmon Public
Forked from lucas-lucena/HvmonHigh-Order Virtual Monsters is a Battle Showdown Game.
-
-
kind-language-server Public
Forked from rafaelnsantos/kind-language-serverTypeScript MIT License UpdatedMay 24, 2022 -
-
pokemon-chart Public
Forked from zonination/pokemon-chartColorblind-friendly heatmaps of move effectiveness against pokemon
R UpdatedMar 26, 2022 -