Formal Verification @amd/@NexTop/@ArcasTech; Compiler@Synopsys.
All programs are compiler.
- Shanghai
Stars
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- Common Lisp
- Coq
- Crystal
- Cython
- DIGITAL Command Language
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Go
- Go Template
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- LLVM
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Meson
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Prolog
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Sass
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Zig
- hoon
1
star
written in Sail
Clear filter