DragonLi

multicalc-rust

Multivariable calculus in pure rust

Awesome-Domain-LLM

收集和梳理垂直领域的开源模型、数据集及评测基准。

Awesome-LLM-reasoning

A curated paper list on LLM reasoning.

dfdx

Deep learning in Rust, with shape checked tensors and neural networks

shadowsocks-rust

A Rust port of shadowsocks

Vanilla-Conquer

Vanilla Conquer provides clean, cross-platform builds of the C&C Remastered Collection and the standalone legacy games.

upmath.me

Markdown and LaTeX online editor - create text for web with equations and diagrams

ods

Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.

tensorbase

TensorBase is a new big data warehousing with modern efforts.

deeplearning4j

Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

fucking-algorithm

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

typescript-book

:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

ea-async

EA Async implements async-await methods in the JVM.

CnC_Remastered_Collection

drawio-desktop

Official electron build of draw.io

neut

A dependently-typed programming language with static memory management

urweb

The Ur/Web programming language

lean4

Lean 4 programming language and theorem prover

vega

A new arguably faster implementation of Apache Spark from scratch in Rust

plt-errata

Collection of errata for book Aarne Ranta, Implementing Programming Languages

anndotnet

ANNdotNET - deep learning tool on .NET Platform.

iron

Coq formalizations of functional languages.

certigrad

Bug-free machine learning on stochastic computation graphs

tensorflow-haskell-deptyped

Reexporting TensorFlow Haskell with dependent typed functions

idringen

a project manage tool for Idris

Blodwen

A prototype successor to Idris

TypedFlow

Typed frontend to TensorFlow and higher-order deep learning

TensorFlowSharp

TensorFlow API for .NET languages

mathflow

Dependently typed tesorflow modeler

haskell

Haskell bindings for TensorFlow