etiamz / supercompilation-resources Star 131 Code Issues Pull requests 📚 A collection of resources about supercompilation performance functional-programming static-analysis symbolic-execution type-theory program-analysis program-transformation supercompilation program-optimization Updated Feb 27, 2026
nshkrdotcom / DSPex Sponsor Star 21 Code Issues Pull requests Declarative Self Improving Elixir - DSPy Orchestration in Elixir elixir otp ai functional-programming beam erlang-vm ai-framework autonomous-systems declarative-programming self-improving dspy prompt-engineering prompt-optimization llm-optimization program-optimization llm-programming nshkr-ai-agents Updated Sep 27, 2026 Elixir
nshkrdotcom / ds_ex Sponsor Star 19 Code Issues Pull requests DSPEx - Declarative Self-improving Elixir | A BEAM-Native AI Program Optimization Framework machine-learning elixir otp ai functional-programming beam metaprogramming erlang-vm ai-framework declarative-programming self-improving dspy prompt-engineering llm-optimization automated-optimization program-optimization nshkr-ai-agents Updated Aug 27, 2026 Elixir
rithulkamesh / continuum Sponsor Star 4 Code Issues Pull requests Unified execution runtime for LLM and ML programs. machine-learning deep-learning transformers pytorch agents execution-engine kv-cache dataflow-graph llm generative-ai ai-runtime workflow-optimization program-optimization prefix-caching agent-runtime llm-runtime compiler-runtime cross-call-caching Updated Sep 25, 2026 C++
handl-lang / eqsat Star 0 Code Issues Pull requests Equality-saturation substrate — term IR, e-graph engine, certificates, law bank, cost algebra, orchestrator. python rust equality-saturation handl e-graphs program-optimization Updated Oct 22, 2026 Python