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
The Free Software Media System - Server Backend & API
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement …
The official repo for the design of the C# programming language
Dafny is a verification-aware programming language
SonarLint extension for VisualStudio
The new generation Pascal programming language for .NET
Hastlayer-compatible arithmetics package. Includes the .NET implementation of the unum and posit number formats that can be transformed into specialized hardware with Hastlayer (https://hastlayer.c…
Experiments with higher-kinded types and object algebras in C#
Zonnon compiler for .NET (Moved from https://zonnon.codeplex.com/)
bicycle wheel truing simulator in Unity