- Hangzhou
-
07:59
(UTC +08:00) - https://mathstodon.xyz/@da
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Assembly
- Batchfile
- BibTeX Style
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- GCC Machine Description
- Gnuplot
- Go
- Groff
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- M4
- MATLAB
- Macaulay2
- Makefile
- Mathematica
- MoonBit
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- QML
- R
- Racket
- ReScript
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Swift
- TSQL
- Tcl
- TeX
- TypeScript
- Vim Script
- Vue
- XML
- XSLT
- Xmake
Cmark.mbt is a CommonMark toolkit for MoonBit.
Gambit is an efficient implementation of the Scheme programming language.
Evergreen, contamination-free, real-world, domain-specific AI evaluation framework
Cross-platform frameless window framework for Qt. Support Windows, macOS, Linux.
LLM API 管理 & 分发系统,支持 OpenAI、Azure、Anthropic Claude、Google Gemini、DeepSeek、字节豆包、ChatGLM、文心一言、讯飞星火、通义千问、360 智脑、腾讯混元等主流模型,统一 API 适配,可用于 key 管理与二次分发。单可执行文件,提供 Docker 镜像,一键部署,开箱即用。LLM API management & k…
Lightweight markup processor to produce HTML, LaTeX, and more.
C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.
Qt 之 GUI 控件使用 / 网络 / 架构原理 / 运行机制理解;DTK 重绘控件方式的框架解析;IDE 技巧之 Visual Studio / Qt Creator;此为系列文章教程
Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!
Solutions to AIMA (Artificial Intelligence: A Modern Approach)
Simple, portable, and self-contained stacktrace library for C++11 and newer
args-fold: a program argument processor
A modified TeXmacs algorithm environment that can render the line number properly
Code formatter for Scheme, Lisp, and any S-expressions
Example of using s7 Scheme with web assembly and emscripten
新晰黑体&新致宋体:「霞鹜新晰黑」「霞鹜新致宋」兼容 Windows 内置「黑体」「宋体」度量数据和字符集的版本,基于 IPA Gothic、IPA Mincho 衍生。
🌀 A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.
Simple 2D shooting strategy game set in space, with gravity