Similar repositories to marcelosousa/poet:

• marcelosousa/poet github similar
• emilaxelsson/ag-graph github similar
• suhailshergill/TTFI github similar
• sergei-romanenko/spsc github similar
• webyrd/hindley-milner-type-inferencer github similar
• lukemaurer/sequent-core github similar
• regb/scabolic github similar
• heathermiller/f-p github similar
• fdilke/bewl github similar
• cmu-phil/Spectral github similar
• Meinersbur/isl github similar
• stanford-ppl/Forge github similar
• tca/veneer github similar
• ahorn/linearizability-checker github similar
• bodil/microkanrens github similar
• plum-umd/abstracting-definitional-interpreters github similar
• firepile/firepile github similar
• namin/unsound github similar
• TiarkRompf/collapsing-towers github similar
• epfl-lara/inox github similar
• mmjb/T2 github similar
• CLRX/CLRX-mirror github similar
• dvanhorn/redex-aam-tutorial github similar
• creachadair/imath github similar
• JetBrains-Research/OCanren github similar
• epfl-lara/ScalaZ3 github similar
• lloydmeta/diesel github similar
• namin/staged-miniKanren github similar
• ilya-klyuchnikov/ttlite github similar
• TiarkRompf/lancet github similar
• scala-lms/tutorials github similar
• luinardi/hypermapper github similar
• ferrandi/PandA-bambu github similar
• webyrd/miniKanren-with-symbolic-constraints github similar
• stripe/dagon github similar
• epfl-lara/leon github similar
• ROCmSoftwarePlatform/rocBLAS github similar
• c3d/xl github similar
• MaiaVictor/abstract-algorithm github similar
• microsoft/ivy github similar