- Akureyri, Iceland
Stars
- All languages
- ANTLR
- APL
- Ada
- Agda
- Assembly
- Ballerina
- Batchfile
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CWeb
- Cap'n Proto
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dafny
- Dart
- Dhall
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Fluent
- Forth
- Fortran
- Frege
- Futhark
- GLSL
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Mustache
- Nemerle
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- Oz
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- Raku
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Scilab
- Self
- Shell
- Smalltalk
- Standard ML
- Starlark
- Swift
- TLA
- Tcl
- TeX
- Toit
- TypeScript
- Vala
- Vim Script
- Vue
- WGSL
- WebAssembly
- Wren
- Yacc
- Zig
Web application generating interactive and highly customizable maps
Adds extensions methods to HttpResponse and HttpRequest to make working with Htmx easier.
Store your data from all your accounts and devices in a single cohesive timeline on your own computer
A semi-opinionated library which is a source generator and a code analyser. It Source generates Value Objects
Some notes taken while working on Prolog
🔬PGWATCH: PostgreSQL metrics monitor/dashboard
A network load-balancer implementation for Kubernetes using standard routing protocols
Low resource, no daemon, kubernetes manifest compatible container platform
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Wiki.js | A modern and powerful wiki app built on Node.js
The Single Sign-On Multi-Factor portal for web apps, now OpenID Certified™
The flexible and customizable Wiki Platform written in c# using aspnet core and SQLite. Runs on Windows, Linux, and Mac with zero upfront configuration.
Clear implementation of Huffman coding for educational purposes in Java, Python, C++.
Secure and fast microVMs for serverless computing.
A simple, fast and versatile Datalog database
The Swagger/OpenAPI toolchain for .NET, ASP.NET Core and TypeScript.
Download and keep up to date your purchases from DriveThruRPG
📚 Web app for browsing, reading and downloading eBooks stored in a Calibre database
A cross-platform .NET implementation of the GNU/Gettext library.
Library sandboxing for the Verona research language and usable in other contexts.
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
Property Graph and RDF engine, still in development