Counter-example Guided Inductive Synthesizer
-
Mujin Inc.
- Tokyo, Japan
- hemangandhi.github.io
Highlights
- Pro
Stars
GitHub do not ban us from open source world 🇮🇷
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Home of the Rockstar programming language
Organize world's knowledge, explore connections and curate learning paths
Meta-repository for the Library Simplified project
📟 Links to others' solutions to Projects (https://github.com/karan/Projects/)