Similar repositories to axch/dlambda:

• plum-umd/parsing-with-derivatives github similar
• edx/edx-platform github similar
• axch/dlambda github similar
• hanxiao/bert-as-service github similar
• UofA-CSc-520-Spring-2020/CSc520Spr20-CourseMaterials github similar
• joelburget/typed-algebraic-parsing github similar
• malyzajko/xfp github similar
• timtadh/goiso github similar
• axch/pattern-case github similar
• axch/rules github similar
• JetBrains-Research/CFPQ-on-GPGPU github similar
• tech-srl/prime github similar
• atomb/core-to-isabelle github similar
• racket/honu github similar
• So-Cool/you-only-write-thrice github similar
• IBM/semanticflowgraph github similar
• conal/essence-of-ad github similar
• timtadh/dynagrok github similar
• zenna/Z3.jl github similar
• ilyasergey/reachability github similar
• dlsniper/docker-intellij github similar
• lemire/FastShuffleExperiments github similar
• conal/paper-2020-higher-order-ad github similar
• HPAC/tccg github similar
• JuliaCI/BaseBenchmarks.jl github similar
• jonsterling/agda-calf github similar
• GaloisInc/semmc github similar
• trappmartin/SumProductNetworks.jl github similar
• ivtoskov/lms-intrinsics github similar
• aspiwack/peppermint-prover github similar
• ngzhian/ski github similar
• JuliaReach/MathematicalSystems.jl github similar
• MrVPlusOne/LambdaNet github similar
• FluxML/FluxJS.jl github similar
• JuliaPackaging/BinaryProvider.jl github similar
• mast-group/api-mining github similar
• oresths/tSparse github similar
• JuliaMath/DecFP.jl github similar
• gilbo/atl github similar
• GaloisInc/saw-core github similar