Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for racket symbolic
racket
x
symbolic
x
6 search results found
Rosette
⭐
617
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Serval Sosp19
⭐
19
This repo contains the artifact for our SOSP'19 paper on Serval
Pcf
⭐
17
PCF with Contracts and Symbolic Values
Birds
⭐
14
Bidirectional transformation for Relational view update Datalog-based Strategies
Polyconf 2015
⭐
13
Resources from the Polyconf 2015 talk & relational interpreters workshop
Dkanren
⭐
6
miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Related Searches
Python Symbolic (449)
Scheme Racket (192)
Language Racket (138)
Racket Lisp (97)
Programming Racket (72)
Python Racket (55)
Javascript Racket (46)
Haskell Racket (46)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.