siddharth-krishna
Follow
-
-
-
-
pypsa-eur Public
Forked from PyPSA/pypsa-eurPyPSA-Eur: A Sector-Coupled Open Optimisation Model of the European Energy System
Python UpdatedJun 17, 2024 -
oet-website Public
Forked from open-energy-transition/oet-websiteLive website of non-profit Open Energy Transition (OET)
HTML MIT License UpdatedMay 12, 2024 -
-
pyment Public
Forked from dadadel/pymentFormat and convert Python docstrings and generates patches
Python GNU General Public License v3.0 UpdatedMar 20, 2024 -
hcloud-discord-bot Public
A Discord bot to manage Hetzner Cloud
Python MIT License UpdatedMar 19, 2024 -
git-big-picture Public
Forked from git-big-picture/git-big-pictureGit — the big picture
Python GNU General Public License v3.0 UpdatedFeb 21, 2024 -
-
pypsa-earth Public
Forked from pypsa-meets-earth/pypsa-earthPyPSA-Earth: A flexible Python-based open optimisation model to study energy system futures around the world.
Python UpdatedJan 12, 2024 -
PyPSA Public
Forked from PyPSA/PyPSAPyPSA: Python for Power System Analysis
Python MIT License UpdatedJan 10, 2024 -
hasktorch Public
Forked from hasktorch/hasktorchTensors and neural networks in Haskell
Haskell Other UpdatedOct 7, 2023 -
-
servant-quickcheck Public
Forked from haskell-servant/servant-quickcheckHaskell BSD 3-Clause "New" or "Revised" License UpdatedAug 16, 2023 -
-
-
web-scraper-example Public
An example web scraper using Python and Selenium
Python MIT License UpdatedNov 2, 2022 -
azure-sql-db-fullstack-serverless-kickstart Public
Forked from Azure-Samples/azure-sql-db-fullstack-serverless-kickstartFullstack/Jamstack solution with Vue.js, Azure Functions, Azure Static Web apps and Azure SQL.
PLpgSQL MIT License UpdatedSep 10, 2022 -
rescript-react-example Public
An example ReScript+React static web app
JavaScript MIT License UpdatedJun 30, 2022 -
rescript-lang.org Public
Forked from rescript-lang/rescript-lang.orgOfficial documentation website for the ReScript programming language
JavaScript MIT License UpdatedMay 11, 2022 -
onnxruntime Public
Forked from microsoft/onnxruntimeONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
C++ MIT License UpdatedJun 23, 2021 -
-
-
weak-consistency-proofs Public
Proofs accompanying the paper "Verifying Visibility-Based Weak Consistency"
-
Halide Public
Forked from halide/Halidea language for fast, portable data-parallel computation
C++ Other UpdatedDec 16, 2019 -
challenges Public
Forked from lorentz-verification/challengesJava BSD 3-Clause "New" or "Revised" License UpdatedMay 12, 2019 -
jdk8u_jdk Public
Forked from JetBrains/jdk8u_jdkJava GNU General Public License v2.0 UpdatedApr 19, 2019 -
tensor-rank Public
Code accompanying the paper "On the tensor rank of the 3x3 permanent and determinant".
Python MIT License UpdatedDec 30, 2017 -
grasshopper Public
Forked from wies/grasshopperAn automated deductive program verifier.
OCaml Other UpdatedSep 7, 2016