Projects in Awesome Lists by vasilisp
A curated list of projects in awesome lists by vasilisp .
https://github.com/vasilisp/inez
A Constraint Solver
formal-methods integer-linear-programming mathematical-programming ocaml smt-solver
Last synced: 13 May 2025
https://github.com/vasilisp/pb-sat
SAT-based Pseudo-Boolean Solver
common-lisp formal-methods integer-linear-programming mathematical-programming pseudo-boolean-solver sat-solver
Last synced: 12 Jan 2026
https://github.com/vasilisp/lingograph
Minimalistic low-boilerplate framework for LLM pipelines
agentic-ai artificial-intelligence golang llm
Last synced: 01 Jul 2025
https://github.com/vasilisp/pub
My academic publications
cyber-physical-systems databases formal-methods functional-programming mathematical-programming ocaml sat-solver smt-solver
Last synced: 15 May 2026
https://github.com/vasilisp/velora
AI-powered fitness tracker. CLI-first and adaptive. Focuses on cycling and running.
Last synced: 01 Apr 2025
https://github.com/vasilisp/semblame
LLM-powered git history analysis
artificial-intelligence blame developer-tools git golang openai rag
Last synced: 05 May 2026