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 774 33 Updated Dec 19, 2025

GWindows: GUI framework for MS Windows

Ada 24 5 Updated Jul 30, 2025

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

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

Ada bindings for the Raylib library

Ada 17 2 Updated Dec 1, 2025

Elements C++ GUI library

C++ 3,620 271 Updated Nov 23, 2025

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

C 4,548 358 Updated Dec 11, 2025

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

C++ 1,762 215 Updated Nov 24, 2025

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

C 6,365 271 Updated Dec 19, 2025

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

C 383 8 Updated Aug 29, 2024

Haskell library for the Microsoft Language Server Protocol

Haskell 409 99 Updated Nov 25, 2025

Chez Scheme

Scheme 109 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 878 71 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 76 17 Updated Mar 18, 2025

[WIP] Pure-Go implementation of ZeroMQ-4

Go 382 60 Updated Jun 18, 2024

PureScript packages for Spago and Psc-Package

Dhall 193 309 Updated Dec 15, 2025

NeXTSTEP-like desktop environment for Linux

Objective-C 2,026 80 Updated Dec 19, 2025

Erlang backend for the PureScript compiler

Haskell 349 9 Updated Sep 4, 2025

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

PureScript 169 10 Updated Jun 13, 2019

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

Clojure 1,043 49 Updated Nov 26, 2025

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

C++ 332 84 Updated Aug 15, 2024

Objective-C runtime library intended for use with Clang.

C 478 123 Updated Nov 30, 2025

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

Haskell 152 Updated Mar 19, 2019

San Francisco

48 Updated Aug 27, 2012