Pinned Repositories
semantic
Parsing, analyzing, and comparing source code across many languages
dotfiles
effects
An implementation of "Freer Monads, More Extensible Effects".
freemonad-benchmark
generative-effects
Some notes on generative effects
Idris-dev
A Dependently Typed Functional Programming Language
idris-objc-demo
An Idris -> Objective-C demo
iPhone-Tetris
A little iPhone tetris game written with cocos2d
software-foundations-in-idris
A handful of exercises from Software Foundations translated to Idris
tree-sitter
An incremental parsing system for programming tools
joshvera's Repositories
joshvera/generative-effects
Some notes on generative effects
joshvera/freemonad-benchmark
joshvera/dotfiles
joshvera/matchbox
Network boot and provision Container Linux clusters (e.g. etcd3, Kubernetes, more)
joshvera/.doom.d
Doom Emacs config
joshvera/basketball_reference_web_scraper
NBA Stats API via Basketball Reference
joshvera/beam-mysql
Beam MySQL compatibility layer
joshvera/blurhash
A very compact representation of a placeholder for an image.
joshvera/celery-eternal
Celery task subclass for jobs that should run forever
joshvera/celery-singleton
Seamlessly prevent duplicate executions of celery tasks
joshvera/comfy
Comfy is a fun 2D game engine built in Rust. It's designed to be opinionated, productive, and easy to use.
joshvera/concurrent
concurrency utilities
joshvera/ecs_bench_suite
A suite of benchmarks designed to test and compare Rust ECS library performance across a variety of challenging circumstances.
joshvera/effects-benchmarks
Benchmarking Haskell extensible-effect libraries.
joshvera/fastapi-cloud-tasks
GCP's Cloud Tasks + Cloud Scheduler + FastAPI = Partial replacement for celery.
joshvera/fused-syntax
Fast, flexible, fused syntax operations for Haskell
joshvera/gRPC-haskell
Haskell gRPC support
joshvera/harbor-helm
The helm chart to deploy Harbor
joshvera/ib_insync
Python sync/async framework for Interactive Brokers API
joshvera/loopbreaker
[WIP] inlining of self-recursive definitions
joshvera/multiarm_kelly_portfolio
Simulating the combination of multiarm bandits with the Kelly criterion for portfolio allocation
joshvera/proto-lens-jsonpb
JSON protobuf encoding for proto-lens
joshvera/proto3-suite
Haskell Protobuf Implementation
joshvera/proto3-wire
joshvera/redisbeat
celery redis scheduler, dynamic add/modify/delete task from celery.
joshvera/requests
Python HTTP Requests for Humans™ ✨🍰✨
joshvera/Signal-iOS
A private messenger for iOS.
joshvera/supabase-py
Python Client for Supabase
joshvera/tagsearch
joshvera/test