Skip to content
View andyarvanitis's full-sized avatar

Organizations

@eerolanguage @pure11 @pure14 @purescript-native

Block or report andyarvanitis

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
Showing results

WebBrowser.app for GNUstep Desktop

Objective-C 6 4 Updated Sep 22, 2024

Keymapper config to make Linux keyboard shortcuts work like a 'Tosh! And more. (A Kinto alternative.)

Python 960 41 Updated Apr 1, 2026

GWindows: GUI framework for MS Windows

Ada 25 5 Updated Mar 3, 2026

An Ada binding for the lvgl embedded GUI library: https://github.com/littlevgl/lvgl

Ada 10 Updated Dec 2, 2022
C 86 1 Updated Sep 6, 2023

Ada bindings for the Raylib library

Ada 18 4 Updated Jan 26, 2026

Elements C++ GUI library

C++ 3,680 277 Updated Nov 23, 2025

A simple and easy-to-use immediate-mode gui library

C 4,768 368 Updated Mar 15, 2026

Minimalistic C++/Python GUI library for OpenGL, GLES2/3, Metal, and WebAssembly/WebGL

C++ 1,786 216 Updated Feb 22, 2026

A native, user-mode, multi-process, graphical debugger.

C 6,772 297 Updated Apr 1, 2026

Classic MacOS & GS/OS widget library for linux (and other?)

C 382 8 Updated Aug 29, 2024

Haskell library for the Microsoft Language Server Protocol

Haskell 414 103 Updated Mar 23, 2026

Chez Scheme

Scheme 110 8 Updated Oct 17, 2023

A binary interface let Chez Scheme use Python, Lua, Ruby etc's library

Scheme 195 18 Updated Apr 27, 2020

By the Bluebook implementation of Smalltalk-80

C 889 72 Updated Apr 20, 2023

Scripts for Building the AVR-Ada Toolchain

Ada 7 6 Updated Aug 24, 2021

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); …

Ada 78 17 Updated Mar 18, 2025

[WIP] Pure-Go implementation of ZeroMQ-4

Go 390 63 Updated Jun 18, 2024

PureScript packages for Spago and Psc-Package

Dhall 193 306 Updated Apr 1, 2026

NeXTSTEP-like desktop environment for Linux

Objective-C 2,048 81 Updated Apr 1, 2026

Erlang backend for the PureScript compiler

Haskell 353 9 Updated Sep 4, 2025

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

PureScript 167 9 Updated Jun 13, 2019

Declarative, functional and extensible wrapper of JavaFX inspired by better parts of react and re-frame

Clojure 1,055 52 Updated Mar 31, 2026

An STL and iostream implementation based on uClibc++ that supports my CS-11M class.

C++ 335 84 Updated Aug 15, 2024

Objective-C runtime library intended for use with Clang.

C 489 129 Updated Mar 23, 2026

A small strongly typed language that compiles to C++11

Haskell 151 Updated Mar 19, 2019

San Francisco

48 Updated Aug 27, 2012