Pinned Loading

1. gitlaw-jp gitlaw-jp Public

   Japanese legislation as a Git repo.

   Python 93

2. sudoku-type-rs sudoku-type-rs Public

   Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀

   Rust 15 1

3. dotfiles dotfiles Public

   Nix 1

4. faas-matrix faas-matrix Public

   Forked from nkuntz1934/matrix-workers

   TypeScript 1

5. Japanese Article: https://zenn.dev/s... Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project.

   1

   //! A self-contained type-level programming example in Rust.

   2

   //!

   3

   //! This file demonstrates:

   4

   //! - type-level booleans and branching

   5

   //! - Peano naturals and arithmetic