Pinned Repositories
django-orm-lambdas
A LINQ-esque Manager for Django models
geomdif
math-with-scala
NHibernateGenericRepository
superficie
Superficie is a Python library for creating beautiful 3D graphics
type-explorer
Code exploration via diagrams
zenith
jpablo's Repositories
jpablo/type-explorer
Code exploration via diagrams
jpablo/math-with-scala
jpablo/zenith
jpablo/graph-explorer
Explore graphs in a visual way
jpablo/advanced-zio
The material for the Advanced ZIO Workshop.
jpablo/coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
jpablo/data-lab
jpablo/finantial-contracts
jpablo/greyhound
Greyhound - Rich Kafka client library
jpablo/intellij-scala
Scala plugin for IntelliJ IDEA
jpablo/Laminar-fork
Simple, expressive, and safe UI library for Scala.js
jpablo/lean
Lean Theorem Prover
jpablo/lean4-fork
Lean 4 programming language and theorem prover
jpablo/libretto
Declarative concurrency and stream processing library for Scala
jpablo/linear-scala
Linear types in Scala
jpablo/llama-fork
Inference code for LLaMA models
jpablo/martin-lof
papers of Per Martin Löf
jpablo/mathlib
Lean mathematical components library
jpablo/mathlib4
Work in progress mathlib port for lean 4
jpablo/protoquill
In Progress Dotty-based implementation of Quill
jpablo/rust-embedded-discovery-fork
Discover the world of microcontrollers through Rust!
jpablo/scala-dom-types-fork
Scala types for your library to represent HTML tags, attributes, properties and CSS styles
jpablo/scala-problems-interviews
The official repository for the Scala & Functional Programming Practice course
jpablo/scala-webapp-template
A reusable skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and deployments
jpablo/zio-app
Quickly create and develop full-stack Scala apps with ZIO and Laminar.
jpablo/zio-fork
ZIO — A type-safe, composable library for async and concurrent programming in Scala
jpablo/zio-http-fork
A scala library to write Http apps.
jpablo/zio-slides
An interactive, websocket-backed slide presentation app.
jpablo/zoe-fork
The Kafka CLI for humans
jpablo/Zymposium
Code examples from our weekly Zymposium series.