Flight planning and analysis software
☆17Apr 24, 2023Updated 2 years ago
Alternatives and similar repositories for KFLog
Users that are interested in KFLog are comparing it to the libraries listed below
Sorting:
- A free navigation program for glider pilots☆16Sep 10, 2025Updated 5 months ago
- XCSoar's data repository☆10Feb 21, 2026Updated last week
- Scripts for creating a simple, lightweight Clang based toolchain for iOS and Mac OS X☆13May 19, 2019Updated 6 years ago
- Modularised version of IGCWebview☆24Sep 9, 2017Updated 8 years ago
- A python3 module for the Open Glider Network (OGN)☆35Jan 8, 2026Updated last month
- ☆44Apr 12, 2024Updated last year
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- port.c and portmacro.h for FreeRTOS to run on any AVR XMEGA☆15Sep 3, 2012Updated 13 years ago
- Official OpenEmbedded layer for Openvario flight computer.☆33Feb 8, 2026Updated 3 weeks ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- an artificial horizon indicator for arduino☆13Sep 6, 2020Updated 5 years ago
- A GUI which enables drawing using Python scripts☆10Mar 27, 2024Updated last year
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- The lightweight gemspec editor.☆20Jan 20, 2012Updated 14 years ago
- Client-side JavaScript PDF generation for Embereños.☆13Mar 23, 2018Updated 7 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 7 months ago
- A simple binary heap priority queue☆18Apr 23, 2014Updated 11 years ago
- TFTP Server employing negative latency☆16Oct 22, 2008Updated 17 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- High speed client-server☆11May 27, 2017Updated 8 years ago
- UCS@school☆17Feb 16, 2026Updated 2 weeks ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- An Ember component wrapper for the date range picker from Baremetrics: https://github.com/Baremetrics/calendar☆10Oct 30, 2017Updated 8 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A simple yet useful oscilloscope for arduino duemilanove☆28Aug 28, 2010Updated 15 years ago
- ☆12Aug 13, 2014Updated 11 years ago
- μKanren implementation in Haskell☆19Jul 3, 2014Updated 11 years ago
- rfb or vnc client that is 100% based on Qt Framework. All modules do not link to any external libraries. Suitable for cross platform comp…☆14Dec 4, 2022Updated 3 years ago
- VFR flight planning online. Open-source, non-commercial hobbyist project with a main focus on Switzerland.☆18Feb 20, 2026Updated 2 weeks ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Shim for future ember-cli feature☆12Oct 19, 2021Updated 4 years ago
- A fork of platec (https://github.com/Mindwerks/plate-tectonics) to fit the needs of RTWG (https://github.com/tarTG/RTWG)☆11Jan 18, 2017Updated 9 years ago
- Stealth is a File Integrity scanner performing its work in a stealthy way.☆12Jun 25, 2018Updated 7 years ago
- Simple Thread Pool in C++☆11Feb 1, 2017Updated 9 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago