-
Xperi
- Wrocław, Poland
-
15:29
(UTC +01:00)
- All languages
- Agda
- Assembly
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- D
- Emacs Lisp
- F#
- Frege
- Go
- HTML
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Markdown
- Mercury
- Nim
- Nix
- OCaml
- Odin
- Prolog
- Python
- Racket
- Reason
- Red
- Rocq Prover
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- TeX
- TypeScript
- Zig
Starred repositories
A free, secure and open source app for Android to manage your 2-step verification tokens.
Keeping track of companies that "care about your data 🥺"
A large collection of NES accuracy tests on a single NROM cartridge.
Plugin for Anki SRS designed to facilitate cooperation on creation of notes and decks.
Generate any location from the real world in Minecraft Java Edition with a high level of detail.
binary releases of VS Code without MS branding/telemetry/licensing
Chrome extension to return youtube dislikes
𝑛-Body and Extended Body Gravitation for Kerbal Space Program
ozkl / doomgeneric
Forked from maximevince/fbDOOMEasily portable doom
Quickly migrate from using snap packages to flatpaks
Converts Victoria 3 games to Hearts of Iron 4 mods
Converts Europa Universalis 4 saves into Victoria 3 mods.
Combustion engine simulator that generates realistic audio.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Master thesis concerning domain logic for reasoning about terms with binding of variables
A modern runtime for JavaScript and TypeScript.
A small, fast, native lisp with "magical" powers
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
Blame someone else for your bad code.
Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.