Skip to content
View pavelonline's full-sized avatar
3 followers · 1 following
  • Haarlem, Netherlands

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report pavelonline

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

mnemitz / smithy-mode

Major mode for editing Smithy files in Emacs

Emacs Lisp 5 1 Updated Jun 21, 2022

jinek / ToolUI

C# 65 1 Updated Oct 29, 2022

Consolonia / Consolonia

A cross-platform UI framework for .NET.

C# 679 23 Updated Nov 26, 2025

phil-opp / blog_os

Writing an OS in Rust

HTML 17,052 1,182 Updated Oct 7, 2025

jinek / MafiaGameMasterBot

Telegram bot for playing Mafia Game

C# 16 13 Updated Jun 22, 2022

redox-os / redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rust 15,771 956 Updated Nov 25, 2025

pavelonline / Android-keep-alive

Forked from gipi/Android-keep-alive

Simple android application to test push notification by KeepAlive connections

Java 1 Updated Jan 14, 2012

ninenines / ranch

Socket acceptor pool for TCP protocols.

Erlang 1,216 337 Updated Nov 6, 2025

gipi / Android-keep-alive

Simple android application to test push notification by KeepAlive connections

Java 20 6 Updated Jan 14, 2012

pavelonline / oci8-sugar

Syntax sugar for oci8 lisp call interface

Common Lisp 1 Updated Jan 17, 2011

pavelonline / archimag-lisp-overlay

Forked from archimag/archimag-lisp-overlay

fork of gentoo-lisp-overlay with my packages

Common Lisp 1 Updated Aug 26, 2010

pavelonline / cl-oci8

Common lisp oci call interface

Common Lisp 1 Updated Jan 18, 2011

archimag / archimag-lisp-overlay

fork of gentoo-lisp-overlay with my packages

C 4 1 Updated Jun 13, 2013

basho / erlang_protobuffs

An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs.

Erlang 394 180 Updated Jul 10, 2020

stouttony / cafe

Cafe system

Common Lisp 2 Updated Jan 30, 2010

mojombo / mustache.erl

Mustache template engine for Erlang.

Erlang 244 51 Updated Jul 1, 2020