- Edinburgh, Scotland
- https://peramid.es
- @trobador@mastodon.social
Highlights
- Pro
Stars
- All languages
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Elixir
- Emacs Lisp
- Erlang
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- LiveScript
- Lua
- Mercury
- Nix
- Nunjucks
- OCaml
- Perl
- Perl 6
- PostScript
- PowerShell
- Python
- R
- Racket
- Raku
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- wisp
Style and Grammar Checker for 25+ Languages
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
AIMSICD • Fight IMSI-Catcher, StingRay and silent SMS!
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Electronic Circuit Simulator in the Browser
pfalstad / circuitjs1
Forked from sharpie7/circuitjs1Electronic Circuit Simulator in the Browser
🌍 The open source route planner api with plenty of features.
This project has ended, but ChatSecure iOS continues. For Android, please use Conversations or Zom instead
BTC + BitHub = An experiment in funding privacy OSS.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Bits'N'Picas - Bitmap & Emoji Font Creation & Conversion Tools
Privacy Friendly App that counts your steps on Android devices.