18 packages found

smcplaus

A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
  1. belief
  2. revision
  3. dynamic
  4. epistemic
  5. logic
  6. plausibility
  7. symbolic
  8. model
  9. checking
  10. dependency-manager
  11. package-manager
  12. packaging
  13. poetry
  14. python
471 Contributors
1.1.6published 4 months agoMIT

grunt-contrib-symlink

Create symbolic links.
  1. gruntplugin
  2. file
  3. link
  4. copy
  5. symlink
  6. symbolic
10 Contributors
1.0.0published 9 years agoMIT

aesara

A library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
  1. aesara
  2. autodiff
  3. blas
  4. differentiation
  5. math
  6. numerical
  7. numpy
  8. symbolic
  9. automatic-differentiation
  10. optimizing-compiler
  11. optimizing-compilers
  12. symbolic-computation
  13. tensors
  14. term-rewriting-system
  15. theano
  16. transpiler
312 Contributors
2.9.4published 8 months agoBSD-3-Clause

it.unibo.tuprolog:core-jvm

Knowlege representation via logic terms and clauses
  1. 2p
  2. java
  3. javascript
  4. js
  5. jvm
  6. kotlin
  7. kotlin-multi-platform
  8. kotlin-multiplatform
  9. logic-programming
  10. prolog
  11. simbolic-ai
  12. symbolic
  13. tuprolog
15 Contributors
1.0.4published 11 months agoApache-2.0

it.unibo.tuprolog:theory-js

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
  1. 2p
  2. java
  3. javascript
  4. js
  5. jvm
  6. kotlin
  7. kotlin-multi-platform
  8. kotlin-multiplatform
  9. logic-programming
  10. prolog
  11. simbolic-ai
  12. symbolic
  13. tuprolog
1.0.4published 11 months agoApache-2.0

ffx

Fast Function Extraction: A fast, scalable, and deterministic symbolic regression tool.
  1. symbolic
  2. regression
  3. machine
  4. learning
2.0.2published 5 years agoMIT-feh

pysr

Simple and efficient symbolic regression
  1. algorithm
  2. automl
  3. data-science
  4. distributed-systems
  5. equation-discovery
  6. evolutionary-algorithms
  7. explainable-ai
  8. genetic-algorithm
  9. interpretable-ml
  10. julia
  11. machine-learning
  12. python
  13. scikit-learn
  14. symbolic
  15. symbolic-regression
34 Contributors
1.5.5published 1 month agoOther

path-type

Check if a path is a file, directory, or symlink
  1. path
  2. fs
  3. type
  4. is
  5. check
  6. directory
  7. file
  8. filepath
  9. symlink
  10. symbolic
  11. link
  12. stat
  13. stats
  14. filesystem
7 Contributors
6.0.0published 9 months agoMIT

pyglove

PyGlove: A library for manipulating Python objects.
  1. ai
  2. machine
  3. learning
  4. automl
  5. mutable
  6. symbolic
  7. framework
  8. meta-programming
  9. evolution
  10. machine-learning
  11. manipulation
  12. meta-learning
  13. python
  14. symbolic-programming
9 Contributors
0.4.4published 1 year agoApache-2.0

Theano

Optimizing compiler for evaluating mathematical expressions on CPUs and GPUs.
  1. theano
  2. math
  3. numerical
  4. symbolic
  5. blas
  6. numpy
  7. gpu
  8. autodiff
  9. differentiation
1.0.5published 5 years agoBSD-3-Clause
Showing 1 to 10 of 18 results