Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
bellingcat / snscrape
Forked from JustAnotherArchivist/snscrapeA social networking service scraper in Python
efabless / OpenLane
Forked from The-OpenROAD-Project/OpenLaneThis repo is a fork of the master OpenLANE repo for us with projects submitted on Efabless Open MPW or chipIgnite shuttles:: OpenLANE is an automated RTL to GDSII flow based on several components i…
openai / ml-agents
Forked from Unity-Technologies/ml-agentsUnity Machine Learning Agents Toolkit
seclab-ucr / SyzScope
Forked from plummm/SyzScopeSyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
Updated ROS bindings to pocketsphinx
mechaphish / peewee
Forked from coleifer/peeweea small, expressive orm -- supports postgresql, mysql and sqlite
Boilerplate files for Bikeshed specs
corelan / artillery
Forked from BinaryDefense/artilleryThe Artillery Project is an open-source blue team tool designed to protect Linux and Windows operating systems through multiple methods.
angr / angr-megatest
Forked from zardus/angr-megatestlarge-scale testing of cfg and decompiler
Main repository of Project Alice, contains main unit source code
A plugin for pelican which generates iTunes compatible feeds for podcasts
jmercouris / kivy
Forked from kivy/kivyOpen source UI framework written in Python, running on Windows, Linux, OS X, Android and iOS