Pinned Repositories
cairo-jetbrains
Cairo language support for the IntelliJ Platform.
c-exercises
clingo-notebook
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
config
My GNU/Linux config. Emacs, poetry, fonts, rofi, alacritty.
CoNLL-U.tmLanguage
Syntax highlighting for CoNLL-U (.conllu, .conll) files on Sublime Text.
pygtaw
Python Google Translate API Wrapper
schemepy
A toy Scheme interpreter written in Python.
talks
weather-bot
For Zulip. Returns weather given a location and time.
kasteph's Repositories
kasteph/talks
kasteph/config
My GNU/Linux config. Emacs, poetry, fonts, rofi, alacritty.
kasteph/lily-shed
🪛 smol tools that help me
kasteph/.doom.d
kasteph/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
kasteph/argo-events
Event-driven automation framework
kasteph/argo-workflows
Workflow engine for Kubernetes
kasteph/ecosystem-dashboard
A dashboard for monitoring the ecosystem around an open source project.
kasteph/ffi-stub
kasteph/filecoin-ffi
C and CGO bindings for Filecoin's Rust libraries
kasteph/gha-cache-demo
kasteph/github-mgmt
kasteph/go-libp2p
libp2p implementation in Go
kasteph/kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
kasteph/lotus
Reference implementation of the Filecoin protocol, written in Go
kasteph/lotus-docs
Documentation for Lotus
kasteph/madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
kasteph/marcos-martial-law-library
kasteph/poetry
Python dependency management and packaging made easy.
kasteph/poetry-core
Poetry PEP 517 Build Backend & Core Utilities
kasteph/pragma-oracle
Pragma, the first provable oracle.
kasteph/pragma-sdk
Python SDK to interact with Pragma
kasteph/procrastinate
PostgreSQL-based Task Queue for Python
kasteph/rose-pine-emacs
Soho vibes for Emacs
kasteph/satoru
Synthetics platform for Starknet, inspired by GMX v2 design.
kasteph/specs-actors
DEPRECATED Specification of builtin actors, in the form of executable code.
kasteph/starknet-devnet
A local testnet for Starknet
kasteph/starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
kasteph/terraform-google-kubernetes-engine
A Terraform module for configuring GKE clusters.
kasteph/website