ivanopagano
A physicist turned programmer, working as backend developer on the jvm. Curious to learn, loves functional programming, smooth ui, software architectures.
kensuRome (IT)
ivanopagano's Stars
charmbracelet/gum
A tool for glamorous shell scripts π
charmbracelet/glow
Render markdown on the CLI, with pizzazz! π π»
open-metadata/OpenMetadata
OpenMetadata is a unified metadata platform for data discovery, data observability, and data governance powered by a central metadata repository, in-depth column level lineage, and seamless team collaboration.
lorenzodifuccia/safaribooks
Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.
orioledb/orioledb
OrioleDB β building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems) Β πΊπ¦
jobrunr/jobrunr
An extremely easy way to perform background processing in Java. Backed by persistent storage. Open and free for commercial use.
greshake/llm-security
New ways of breaking app-integrated LLMs
cljfx/cljfx
Declarative, functional and extensible wrapper of JavaFX inspired by better parts of react and re-frame
borkdude/jet
CLI to transform between JSON, EDN, YAML and Transit using Clojure
seancorfield/dot-clojure
My .clojure/deps.edn file
getkyo/kyo
Toolkit for Scala Development
webauthn4j/webauthn4j
A portable Java library for WebAuthn(Passkeys) server side verification
PurpleKingdomGames/tyrian
Elm-inspired Scala UI library.
gregrahn/tpcds-kit
TPC-DS benchmark kit with some modifications/fixes
borkdude/deps.clj
A faithful port of the clojure CLI bash script to Clojure
swardley/MAP-REPOSITORY
Maps from the 2022 AND BEYOND research projects
zio/zio-nio
A small, unopinionated ZIO interface to NIO.
lispyclouds/bblgum
An extremely tiny and simple wrapper around charmbracelet/gum
pfeodrippe/recife
A Clojure model checker (using the TLA+/TLC engine)
typelevel/fabric
Object-Notation Abstraction for JSON, binary, HOCON, etc.
marcosh/crem
Compositional Representable Executable Machines
scicloj/clojure-data-cookbook
A book about how to do common data manipulation, analysis, and visualization tasks in Clojure
juxt-site/site
A platform for building stateful API services.
zio/zio-openai
typelevel/twiddles
Micro-library for building effectful protocols
scalacenter/sbt-dependency-submission
A Github Action to submit the dependency graph of an sbt build to the Dependency Submission API
dacr/zio-lmdb
Lightning Memory Database (LMDB) for scala ZIO
workshub/leona
spec -> lacinia schema
bazuel/notest
notest is the first open source no-code platform to test web applications without coding
discourje/development