-
University of Augsburg
- https://www.uni-augsburg.de/de/fakultaet/mntf/math/prof/numa/team/matthias-deiml/
-
-
-
-
quantum-grf Public
Supplementary code for the paper "Quantum Sampling and Moment Estimation for Transformed Gaussian Random Fields"
-
tequila Public
Forked from tequilahub/tequilaA High-Level Abstraction Framework for Quantum Algorithms
Python MIT License UpdatedJul 4, 2025 -
quantum-nonlinear Public
Supplementary code for the paper "Nonlinear Quantum Computation using Amplified Encodings""
Jupyter Notebook UpdatedNov 27, 2024 -
quantum-bpx Public
Supplementary code for the paper "Quantum Realization of the Finite Element Method"
-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedJan 8, 2024 -
sqlite-loadable-rs Public
Forked from asg017/sqlite-loadable-rsA framework for writing fast and performant SQLite extensions in Rust
Rust Apache License 2.0 UpdatedJun 16, 2023 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedMar 15, 2023 -
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedMar 11, 2023 -
-
nvim-treesitter Public
Forked from nvim-treesitter/nvim-treesitterNvim Treesitter configurations and abstraction layer
Scheme Apache License 2.0 UpdatedDec 7, 2022 -
bevy Public
Forked from bevyengine/bevyA refreshingly simple data-driven game engine built in Rust
Rust Other UpdatedNov 7, 2022 -
rfcs Public
Forked from bevyengine/rfcsSuggest changes to Bevy and view accepted designs
MIT License UpdatedOct 23, 2022 -
-
-
neovide Public
Forked from neovide/neovideNo Nonsense Neovim Client in Rust
Rust MIT License UpdatedJul 4, 2022 -
webrender Public
Forked from servo/webrenderA GPU-based renderer for the web
Rust Mozilla Public License 2.0 UpdatedJul 3, 2022 -
one-nvim Public
Forked from Th3Whit3Wolf/one-nvimAtom one theme
Lua MIT License UpdatedJun 28, 2022 -
attomath Public
A system for formalizing and proving mathematical theorems inspired by Metamath
-
roget Public
Forked from jonhoo/rogetWordle Solver inspired by 3blue1brown
Rust UpdatedJun 8, 2022 -
spotifyd Public
Forked from Spotifyd/spotifydA spotify daemon
Rust GNU General Public License v3.0 UpdatedFeb 8, 2022 -
-
LD48 Public
"Tiefenrausch" a game made in 72h for Ludum Dare 48
-
-
sled Public
Forked from spacejam/sledthe champagne of beta embedded databases
Rust Apache License 2.0 UpdatedJan 26, 2021 -
-
-