由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

symbolic

话题找到数量

dottxt-ai/outlines

Python

结构化输出

cfg generative-ai json
dottxt-ai
dottxt-ai 开发者
15k
818
280
+813
排名 #14
7月26日
查看详情

noah-nuebling/mac-mouse-fix

Objective-C

Mac Mouse Fix - 让您的十美元鼠标超越苹果触控板！

3rd-party-mouse invert-scrolling mac-mouse
noah-nuebling
noah-nuebling 开发者
10k
380
567
+7
排名 #3
8月1日
查看详情

BinaryAnalysisPlatform/bap

OCaml

二进制分析平台

arm bap binary-analysis
BinaryAnalysisPlatform
BinaryAnalysisPlatform 开发者
2.2k
283
303
排名 #10
6月12日
查看详情

SciML/ModelingToolkit.jl

Julia

一个用于Julia中自动并行化科学机器学习（SciML）的非因果建模框架。一个用于物理信息机器学习集成符号计算及微分方程自动变换的计算机代数系统

acausal computer-algebra dae
SciML
SciML 开发者
1.6k
256
366
+1
排名 #12
7月5日
查看详情

JuliaSymbolics/Symbolics.jl

Julia

面向新一代数值计算软件的符号编程框架

cas computer-algebra-system high-performance
JuliaSymbolics
JuliaSymbolics 开发者
1.5k
185
345
+1
排名 #18
6月27日
查看详情

astroautomata/SymbolicRegression.jl

Julia

Julia中的分布式高性能符号回归

automl data-science distributed-systems
astroautomata
astroautomata 开发者
795
132
251
排名 #14
6月26日
查看详情

ad-si/Woxi

Rust

Wolfram 语言 / Mathematica 的 Rust 重实现项目

cas math mathematica
ad-si
ad-si 开发者
495
14
445
+49
排名 #5
3月2日
查看详情

OCamlPro/owi

OCaml

为C、C++、Go、Rust、Wasm和Zig提供无缝的缺陷检测

afl c concolic-execution
OCamlPro
OCamlPro 开发者
307
41
245
排名 #19
6月18日
查看详情

SymbolicML/DynamicExpressions.jl

Julia

极速符号表达式

binary-trees expression-evaluator symbolic-computation
SymbolicML
SymbolicML 开发者
134
19
280
排名 #18
6月14日
查看详情

QuantumSavory/QuantumSymbolics.jl

Julia

用于量子力学和量子信息中符号化计算的计算机代数工具

clifford-gates computer-algebra computer-algebra-system
QuantumSavory
QuantumSavory 开发者
43
40
306
排名 #5
6月21日
查看详情
助手