Awesome Open Source

Programming Languages

Search results for language symbolic

15 search results found

Rosette ⭐ 617

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Expreduce ⭐ 360

An experimental computer algebra system written in Go

Tensorlang ⭐ 303

Tensorlang, a differentiable programming language based on TensorFlow

Reduce.jl ⭐ 202

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

Symata.jl ⭐ 159

language for symbolic mathematics

Symbolic-execution-based verifier for the Viper intermediate verification language.

Dotfiles ⭐ 55

My very personal configuration files for vim, tmux, zsh etc.

[toy] A rewriting language similar to the core of Mathematica

Saw Core ⭐ 51

The SAW core language.

Contracts ⭐ 31

Symbolic financial contract EDSL

A collection of tricky code

Colis Language ⭐ 18

A symbolic analyser for shell scripts.

Deep Probabilistic Programming Language

PCF with Contracts and Symbolic Values

P4 Semantics ⭐ 14

Formal Semantics of P4 in K

a CIL-based dynamic symbolic execution (DSE) engine for C language

Related Searches

Python Natural Language Processing (5,233)

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,185)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.