Pinned Repositories
about
🌿 For you, rustaceans from HIT
awesome-hit-rust
🌸 A curated list of Rust code and resources from Hitrust
plt-books
Books on programming language theory and linguistics in general.
about
🌿 For you, rustaceans from HIT
awesome-hit-rust
🌸 A curated list of Rust code and resources from Hitrust.
awesome-se
🌈 A list of code and resources from HIT-SE.
deno
A secure JavaScript and TypeScript runtime
Idris2
A purely functional programming language with first class types
JetBrainsMono-Erlang
JetBrains Mono for Erlang
lambda-neko
Nice to meet you, this is raptazure's λ neko.
lambda-neko's Repositories
lambda-neko/lambda-neko
Nice to meet you, this is raptazure's λ neko.
lambda-neko/about
🌿 For you, rustaceans from HIT
lambda-neko/awesome-hit-rust
🌸 A curated list of Rust code and resources from Hitrust.
lambda-neko/awesome-se
🌈 A list of code and resources from HIT-SE.
lambda-neko/deno
A secure JavaScript and TypeScript runtime
lambda-neko/Idris2
A purely functional programming language with first class types
lambda-neko/JetBrainsMono-Erlang
JetBrains Mono for Erlang
lambda-neko/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
lambda-neko/plt.books
Functional Programming, Type Theory, Magic...
lambda-neko/rCore
Rust version of THU uCore OS. Linux compatible.
lambda-neko/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
lambda-neko/rust
Empowering everyone to build reliable and efficient software.
lambda-neko/tikv
Distributed transactional key-value database, originally created to complement TiDB
lambda-neko/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
lambda-neko/wasm-learning
Building Rust functions for Node.js to take advantage of Rust's performance, WebAssembly's security and portability, and JavaScript's ease-of-use. Demo code and recipes.