-
Northwestern University
- Evanston, IL, USA
-
01:18
(UTC -12:00) - https://pasechnik.info/dima
- https://orcid.org/0000-0002-7557-6886
- @dimpase@mathstodon.xyz
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cython
- Elm
- Emacs Lisp
- Fortran
- GAP
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- Macaulay2
- Makefile
- Mathematica
- OCaml
- Perl
- Python
- R
- ReScript
- Rocq Prover
- Ruby
- Rust
- Shell
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
FreeRDP is a free remote desktop protocol library and clients
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Implementations of SIMD instruction sets for systems which don't natively support them.
This is official OpenSMTPD Portable repository. Forks, pull requests and other contributions are welcome!
Path library for C/C++. Cross-Platform for Linux, FreeBSD, Windows and MacOS. Supports UNIX and Windows path styles on those platforms.
DEPRECATED — Head to the raytracing.github.io repo for the new home
Library for Polynomial System Solving through Algebraic Methods
Library to compute the homfly polynomial of a link.
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
Cohomology groups of finite groups on finite modules
sagemath / deformation
Forked from SPancratz/deformationAn implementation of the deformation algorithm for point counting in smooth projective families of hypersurfaces over finite fields
A signed and notarized universal macOS installer package for pkg-config.
C++ library for cyclotomic field arithmetic, based directly on GAP source