siddharth-krishna Goto Github PK

azure-sql-db-fullstack-serverless-kickstart

Fullstack/Jamstack solution with Vue.js, Azure Functions, Azure Static Web apps and Azure SQL.

babyfluid

IV fluid mixture calculator for newborns

challenges

git-big-picture

Git — the big picture

grasshopper

An automated deductive program verifier.

halide

a language for fast, portable data-parallel computation

hasktorch

Tensors and neural networks in Haskell

hcloud-discord-bot

A Discord bot to manage Hetzner Cloud

intro-python

Introduction to Programming with Python

jdk8u_jdk

nyu-thesis-template

NYU GSAS PhD thesis template

oet-website

Live website of non-profit Open Energy Transition (OET)

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

pqc

Fork of `pqc` from http://hub.darcs.net/shelarcy/pqc

pyment

Format and convert Python docstrings and generates patches

pypsa

PyPSA: Python for Power System Analysis

pypsa-earth

PyPSA-Earth: A flexible Python-based open optimisation model to study energy system futures around the world.

pysat

rescript-lang.org

Official documentation website for the ReScript programming language

rescript-react-example

An example ReScript+React static web app

servant-quickcheck

siddharth-krishna.github.io

tensor-rank

Code accompanying the paper "On the tensor rank of the 3x3 permanent and determinant".

vscode-grasshopper

Grasshopper for VS Code

weak-consistency-proofs

Proofs accompanying the paper "Verifying Visibility-Based Weak Consistency"

web-scraper-example

An example web scraper using Python and Selenium

xl2times