Pinned Repositories
ast-monad
A library for constructing AST by using do-notation
cuda-tools
cuda-tools-examples
gen-instance-from-dist-mat
kunai
A competitive programming tool for Rust
neco-project
Hobbyist-created compiler (neco) and programming language (Felis)
ninja-solver
hobby solver
nyat
hobby sat solver
rust-and-nuxt3-app
An example of an application architecture using Rust and Nuxt3 for the frontend and Rust for the backend
sagitta
FUSE based Version Control System (under construction)
spica314's Repositories
spica314/neco-project
Hobbyist-created compiler (neco) and programming language (Felis)
spica314/kunai
A competitive programming tool for Rust
spica314/cuda-tools
spica314/rust-and-nuxt3-app
An example of an application architecture using Rust and Nuxt3 for the frontend and Rust for the backend
spica314/gen-instance-from-dist-mat
spica314/sagitta
FUSE based Version Control System (under construction)
spica314/cuda-tools-examples
spica314/my-mdBook-template
spica314/neco4
neco4: hobby compiler & language (Felis)
spica314/ninja-solver
hobby solver
spica314/nyat
hobby sat solver
spica314/AtCoderProblems
Extend your AtCoder
spica314/azure-sdk-for-rust
This repository is for active development of the *unofficial* Azure SDK for Rust. This repository is *not* supported by the Azure SDK team.
spica314/candle
Minimalist ML framework for Rust
spica314/cargo
The Rust package manager
spica314/html-notebook-compiler
static site generator configurable in yaml
spica314/html-notebook-compiler-example
spica314/IBMQuantumChallenge2020Fall-MySubmission
spica314/mcc-prev
hobby compiler
spica314/md2sb-online
Online ScrapBox Converter
spica314/meta-text
spica314/mini-paas
spica314/mncore-challenge-001-public
spica314/neco-project-satellite-001
Satellite project of neco-project
spica314/neco3
hobby compiler
spica314/PokemonGO_TSP
Circumferential route calculation with Pokemon GO
spica314/posts
posts of calc.mie.jp
spica314/sagitta2
sagitta2: cloud from scratch
spica314/warp
A super-easy, composable, web server framework for warp speeds.
spica314/zenn-codes