-
Xperi
- Wrocław, Poland
-
21:28
(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
Plugin for Anki SRS designed to facilitate cooperation on creation of notes and decks.
Quickly migrate from using snap packages to flatpaks
🍬 a functional language for building type-safe, scalable, and maintainable applications
C++ Insights - See your source code with the eyes of a compiler
Run compilers interactively from your web browser and interact with the assembly
Crystal bindings to SFML multimedia/game library
Convert your ascii diagram scribbles into happy little SVG
Postmodern immutable and persistent data structures for C++ — value semantics at scale
An operating system written in Common Lisp
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
An interpreter for learning and exploring pure λ-calculus
Unofficial wykop.pl client for Android
Home of the Rockstar programming language
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
A collection of (mostly) technical things every software developer should know about