- All languages
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Dart
- Dockerfile
- F*
- GLSL
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- Makefile
- Markdown
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PowerShell
- Python
- QML
- R
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Spline Font Database
- Standard ML
- TLA
- Tcl
- TeX
- TypeScript
- Vala
Starred repositories
This repo contains the scripts, models, and required files for the Deep Noise Suppression (DNS) Challenge.
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
Open Source research tool to search, browse, analyze and explore large document collections by Semantic Search Engine and Open Source Text Mining & Text Analytics platform (Integrates ETL for docum…
Python package for wrapping applications inside a tailored interactive shell
RustFFT is a high-performance FFT library written in pure Rust.
Lightweight threads for Java, with message passing, nio, http and scheduling support.
🤖 A curated list of awesome resources related to finite state machines and statecharts.
A lightweight Actor framework for Java 21 and above. Library of idiomatic Actors to create and manage millions of cooperating Java threads
The first Java Actor System supporting fibers from Project Loom
Powerful and extensible proxy server with anti-censorship functionality
A curated list of awesome TikZ documentations, libraries and resources
An Inkscape extension for exporting SVG paths as TikZ/PGF paths
JavaScript LaTeX to HTML5 translator
Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
Main codebase for TeXworks, a simple interface for working with TeX documents
Transform tables in markdown to json.
Embedded Node.js database upward compatible with MongoDB
Server backend for Naxl Personal Database Manager
Framework for building CRUD UIs for Hasura GraphQL with models rather than code.
A simple and lightweight SQL client desktop with cross database and platform support.