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/pub
My academic publications
cyber-physical-systems databases formal-methods functional-programming mathematical-programming ocaml sat-solver smt-solver
Last synced: 01 Apr 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: 01 Apr 2025
https://github.com/vasilisp/wikai
AI-powered note-taking app
artificial-intelligence golang markdown note-taking openai web wiki
Last synced: 25 Mar 2025
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/aivoke
KISS CLI tool for using LLMs and managing prompts
Last synced: 01 Apr 2025