Stars
Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js
An innovative superfamily of fonts for code
curl for GraphQL with autocomplete, subscriptions and GraphiQL. Also a dead-simple universal javascript GraphQL client.
Highly-available Distributed Fault-tolerant Runtime
朱雀仿宋/朱雀宋朝/Zhuque Fangsong: An open-source Fangsong typeface project
An unprofessional open-source Chinese font derived from Fontworks' Klee One. 一款非专业的开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。
Free C2D2 prompt engineering online course. ChatGPT and Midjourney tutorials are now included!
A cross-platform, OpenGL terminal emulator.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A test framework that runs everything in parallel.
Discussion and and code examples for the book Hands-on Scala Programming
一个在你编程时疯狂称赞你的 VSCode 扩展插件 | An VSCode extension that keeps giving you compliment while you are coding, it will checks the keywords of code to play suitable sounds.
Scala language server with rich IDE features 🚀
Seamless multi-primary syncing database with an intuitive HTTP/JSON API, designed for reliability
A new arguably faster implementation of Apache Spark from scratch in Rust
Google's Engineering Practices documentation
⭐️ A friendly language for building type-safe, scalable systems!