Programming Language Foundations in Lean

Computer Algebra, Physics and Differential Geometry in Clojure.

A post-modern modal text editor.

Integrate LLM's into your OS. For any issues or ideas, message us in the discord server below!

本插件可以用于CSDN/知乎/脚本之家/博客园/掘金等网站,一键下载文章html或markdown文件;实现无需登录一键复制代码;支持选中代码;或者代码右上角按钮的一键复制;解除关注博主即可阅读全文提示;去除登录弹窗;去除跳转APP弹窗.

👨‍💻 An awesome and curated list of best code-LLM for research.

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Programming Language Documentations

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

Abstractions from Category theory with simple description & implementation, links to further resources.

Tools based on AI for helping with Lean 4

Shen language kernel sources for porters

The Lux Programming Language

A framework for applied category theory in the Julia language

Scientific computing in Lean 4

Chrome extension that displays a wiktionary popup so you don't have to alt-tab when browsing a website in a foreign language

PyTorch native post-training library

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

Create beautiful diagrams just by typing notation in plain text.

Boilerplates