certik
by certik
Most Popular
Downloads
Usage Instructions
To install packages from this channel, use the channel temporarily with conda or add it to your .condarc file for configured ongoing access. Learn more
- Temporary
- Configured
Packages
| Name | Latest Version | Summary | Updated | License |
|---|
| antlr4-python3-runtime | 4.7.1 | ANTLR 4.7.1 runtime for Python 3.6.3 | Mar 25, 2025 | BSD |
| csympy | 0.1 | — | Mar 25, 2025 | — |
| gmp | 5.1.2 | — | Mar 25, 2025 | GPL 3 |
| lld | 6.0.0 | The LLVM Linker | Mar 25, 2025 | NCSA |
| llvmdev | 6.0.0 | Development headers and libraries for LLVM | Mar 25, 2025 | NCSA |
| llvmlite | 0.21.0.dev | A lightweight LLVM python binding for writing JIT compilers | Mar 25, 2025 | New BSD License |
| sympy | 0.7.5 | Computer algebra system (CAS) in Python | Mar 25, 2025 | BSD License |