λ Neko's repositories
lambda-neko
Nice to meet you, this is raptazure's λ neko.
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
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
plt.books
Functional Programming, Type Theory, Magic...
rCore
Rust version of THU uCore OS. Linux compatible.
react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
rust
Empowering everyone to build reliable and efficient software.
tikv
Distributed transactional key-value database, originally created to complement TiDB
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
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.