eusousalvi / 8bit-git-for-kidsView external linksLinks
☆10Nov 25, 2021Updated 4 years ago
Alternatives and similar repositories for 8bit-git-for-kids
Users that are interested in 8bit-git-for-kids are comparing it to the libraries listed below
Sorting:
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆10Nov 18, 2023Updated 2 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- JavaScript Guitar Hero☆15Aug 13, 2021Updated 4 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Desafios do 7 Days of Code da Alura - 2022☆13Jun 29, 2022Updated 3 years ago
- Angular UI Kit☆13Aug 3, 2025Updated 6 months ago
- ☆10Dec 26, 2022Updated 3 years ago
- Sort data in Alpine JS without writing any JavaScript 🦜☆10Mar 7, 2025Updated 11 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Dec 15, 2025Updated 2 months ago
- Sorbet extension for Zed☆13Jun 6, 2025Updated 8 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- ☆14Jul 25, 2021Updated 4 years ago
- ☆13Nov 22, 2020Updated 5 years ago
- Materials for MI-AFP course tutorials☆12Feb 1, 2026Updated 2 weeks ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- ☆13Sep 2, 2024Updated last year
- Next Level Week da Rocketseat - Nodejs☆11Jul 24, 2021Updated 4 years ago
- CLI tool to install and configure Cursor IDE as a desktop Application on LINUX systems☆15Jan 23, 2025Updated last year
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- Github action which publishes python packages that use poetry☆12Mar 1, 2021Updated 4 years ago
- Pra pagar ou receber... manda um Pix-code!☆14Jun 12, 2025Updated 8 months ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- DSU Server for JoyCon (L/R) & Pro controllers for MacOS. To be used with the Dolphin emulator.☆14May 18, 2021Updated 4 years ago
- Código e base de dados em .csv e .shp com geolocalização de todas as Agências Bancárias de instituições financeiras sob supervisão do BAC…☆12Oct 26, 2020Updated 5 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- This is a repository to show you the power of supabase with next.js.☆12Sep 8, 2022Updated 3 years ago
- A file watcher written in Rust☆11Dec 1, 2024Updated last year
- ☆15Aug 13, 2021Updated 4 years ago
- A reusable rater for Elm.☆15Dec 10, 2020Updated 5 years ago
- Exemplary real world application built with React + Redux☆12Oct 8, 2020Updated 5 years ago
- Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles☆12Dec 7, 2021Updated 4 years ago
- Type Level Regular Expressions☆12Sep 26, 2023Updated 2 years ago
- ☆14Sep 10, 2023Updated 2 years ago
- A programming language, aka a THING☆10Sep 22, 2020Updated 5 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated 10 months ago