[go: up one dir, main page]

Skip to content
View ivanperez-keera's full-sized avatar
🚀
Exploring
🚀
Exploring

Sponsors

@johannes-riecken

Organizations

@nasa @Copilot-Language

Block or report ivanperez-keera

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

Game of life using SDL2, OpenGL and Yampa

Haskell 21 3 Updated Mar 4, 2023

Haskell-based flight controller with support for SITL simulation

C 6 Updated Aug 17, 2024

Example of using Yampa and GHC Wasm backend to create a simple web app.

Haskell 15 1 Updated Dec 10, 2023

Apron Numerical Abstract Domain Library

C 101 33 Updated Aug 19, 2024

thunderlink replacement: Clickable, durable links to specific messages inside Thunderbird.

JavaScript 67 14 Updated Aug 6, 2024

apt-get for .debs published via GitHub or direct download 📦

Shell 1,298 123 Updated Aug 12, 2024

Quickly migrate from using snap packages to flatpaks

Shell 989 48 Updated May 9, 2024

A gloss backend for yampa

Haskell 10 3 Updated Apr 8, 2023

A collection of Yampa documentation

4 Updated Jan 14, 2020

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

Haskell 272 30 Updated Apr 8, 2023

A Haskell game written in Yampa

Haskell 25 16 Updated Mar 7, 2024

A simple implementation of affine spaces and vector spaces

Haskell 10 2 Updated Apr 7, 2023

A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.

Emacs Lisp 1,376 110 Updated Aug 26, 2024

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 624 50 Updated Aug 21, 2024

Arrowized (re-)implementation of Minesweeper in Haskell

Haskell 3 Updated Jun 29, 2022

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Haskell 204 30 Updated Aug 22, 2024

NASA Ames Crisis Mapping Toolkit

Python 189 78 Updated Jul 6, 2021

A tutorial for OpenMCT that guides you through integrating historical and realtime telemetry.

JavaScript 242 106 Updated Jun 18, 2024
Haskell 330 24 Updated May 22, 2024

Phase vocoder in Haskell

Haskell 16 2 Updated Mar 1, 2021

Git remote helper for rclone-supported services

Python 22 4 Updated Feb 24, 2020

A MOBA written using Haskell, Yampa, and SDL

Haskell 24 4 Updated May 19, 2015

Functional Reactive Programming domain-specific language for efficient hybrid systems

Haskell 437 49 Updated Aug 8, 2024

Now bearriver also has an arcade! Games I made while learning haskell gamedev using Bearriver/Yampa, SDL and more.

Haskell 6 Updated Jun 22, 2020

First Haskell implementations of Fran/FRP

Haskell 32 1 Updated Jan 31, 2019

Sample book files for O'Reilly content

HTML 29 14 Updated May 30, 2024

Syntax highlighting for c2hs files

Vim Script 1 Updated Sep 20, 2019

Docker for Afterlogic WebMail Lite

Dockerfile 16 14 Updated Apr 12, 2024

Link to your Thunderbird emails!

JavaScript 42 14 Updated Oct 7, 2020

Arrowized Functional Reactive Program Visualization

Haskell 1 Updated Aug 22, 2018
Next