Kind1 has been developed in JavaScript, which wasn't meant to be a long-term solution, but allowed us to explore self-types. Recently, we started developing Kind2 for HVM1, but it has been discontinued when we started working on HVM2. In this repository, we'll remake and continue Kind2's development, now targetting HVM2. Kind2 will be fully implemented in itself. Temporarily, we're using TypeScript+HVM1 to aid on the bootstrapping process.
Temporary repository for Kind2's refactor based on HVM2
Overview
You might also like...
A git sub-command to view your git repository in the web browser
git-view A git sub-command to view your git repository in the web browser! About Are you also frustrated from moving your hands away from the keyboard
5 Sep 26, 2022
Copy files from Git repository to local.
gitcp Copy files from Git repository to local. Install We are planning to add some installers support in the future. e.g. homebrew winget debian packa
3 Aug 9, 2022
🚀 Yet another repository management with auto-attaching profiles.
🚀 ghr Yet another repository management with auto-attaching profiles. 🔥 Motivation ghq is the most famous solution to resolve stress of our reposito
29 Dec 2, 2022
Repository for solving adventofcode.com puzzles
Advent Of Code 🎄 This is a repository for any Otovista that wants to participate in the advent of code christmas calendar challenges. Advent of Code
4 Dec 20, 2022
This is a placeholder repository for Ludum Dare 52. We'll add more soon!
Ludum Dare 52 This is a placeholder repository for Ludum Dare 52. How to play TBD Developing Only Rust (edition 2021) is required to develop and build
4 Jan 9, 2023
A companion repository for my Rust Talk.
Building a microservice in rust This project is a companion to my talk at ConFoo about building a rust project. You should checkout a fully fleshed ou
4 Feb 27, 2023
a command-line tool that transforms a Git repository into a minimal format for ChatGPT queries
gprepo /dʒiːpiːˈɹi:pi:oʊ/ a command-line tool that transforms a Git repository into a minimal format for ChatGPT queries. Features Excludes LICENSE an
6 Apr 20, 2023
this-week-in-neovim.org official webapp repository
This Week In Neovim This repository holds the source code of https://this-week-in-neovim.org. Architecture How does it run in production Automatic upd
189 Jun 23, 2023
Client for spotify's apt repository in Rust for Arch Linux
spotify-launcher Spotify has a free linux client but prohibits re-distribution, so this is a freely distributable opensource program that manages a sp
93 Jun 20, 2023
A CLI tool that allow you to create a temporary new rust project using cargo with already installed dependencies
cargo-temp A CLI tool that allow you to create a new rust project in a temporary directory with already installed dependencies. Install Requires Rust
61 Oct 31, 2022
Experimental Rust UI library for Audulus. "rui" is a temporary name.
Experimental Rust UI library for Audulus. "rui" is a temporary name.
1.1k Dec 28, 2022
Temporary files and directories with UTF-8 paths.
camino-tempfile A secure, cross-platform, temporary file library for Rust with UTF-8 paths. This crate is a wrapper around tempfile that works with th
4 Apr 24, 2023
Temporary elevated access management as a self-hosted service
????☁️ S A T O U N K I Temporary elevated access management as a self-hosted service Overview Satounki is a self-hosted service which brings visibilit
31 Dec 17, 2023
Repository containing assets for the Holium CLI tutorial
Welcome to getting-started ?? In this repository you can find all necessary assets for the Holium CLI tutorial ?? Homepage The tutorial that reference
2 Mar 11, 2022
Repository with my Advent of Code 2021 puzzle solutions 🎄
?? Advent of Code 2021 ?? I decided to stick with Rust this year and try to improve a bit on it, I basically haven't used it since last year's AoC, so
2 Dec 1, 2022
This repository presents a numbers vizualizer in a polar base. This small project has been entirely made in Rust !
NumbersRepresentation This repository presents a numbers vizualizer in a polar base. This small project has been entirely made in Rust ! This is an id
3 Apr 12, 2022
Official repository for v3's backend
RoChat This repository holds the official source code for RoChat's new backend. Previously, the old backend was written in PHP. The newer one, coming
1 Apr 24, 2022
A command line tool, manage your hundreds of repository, written with Rust
A command line tool, manage your hundreds of repository, written with Rust
4 Aug 16, 2022
The official command-line interface for the makedeb Package Repository
mpr-cli This is the repository for the MPR CLI, the official command-line interface for the makedeb Package Repository. Installation Users have a few
38 Jan 2, 2023