3-day current streak·23-day longest streak
-
ogma ★ PINNED ⑂
No description.
Haskell ★ 2 8h agoExplain → -
copilot ★ PINNED ⑂
A stream-based runtime-verification framework for generating hard real-time C code.
Haskell ★ 1 24d agoExplain → -
space-ros ★ PINNED ⑂
The Space ROS meta operating system for space robotics.
Earthly ★ 0 2y agoExplain → -
Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems
Haskell ★ 488 2mo agoExplain → -
haskanoid
A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
Haskell ★ 279 5mo agoExplain → -
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Haskell ★ 232 2mo agoExplain → -
SpaceInvaders
A Haskell game written in Yampa
Haskell ★ 29 2y agoExplain → -
forks-fallingblocks
A mirror of fallingblocks (with minor updates)
Haskell ★ 12 11y agoExplain → -
simple-affine-space
A simple implementation of affine spaces and vector spaces
Haskell ★ 11 3y agoExplain → -
yampa-gloss
A gloss backend for yampa
Haskell ★ 11 3y agoExplain → -
clean-home ▣
DEPRECATED: Keep your $HOME clean by finding old conf files
Haskell ★ 5 9y agoExplain → -
games-voldemort
Game implemented during ZuriHac2015
Haskell ★ 5 10y agoExplain → -
demos-hacknotts2015
A finger painting program in Haskell using leapmotion
Haskell ★ 5 10y agoExplain → -
telos
No description.
★ 4 1y agoExplain → -
yampa-docs
A collection of Yampa documentation
★ 3 6y agoExplain → -
gloss-gtk
Embed gloss in Gtk+ programs using gtkglext
Haskell ★ 3 13y agoExplain → -
SoOSiM-ui
A Graphical User Interface for the SoOSiM simulator
Haskell ★ 3 13y agoExplain → -
SoOSiM ⑂ ▣
Abstract full system simulator
Haskell ★ 1 13y agoExplain → -
mars_rover_monitor_test
Test of monitor for Mars Rover Space ROS demo -- dummy example
C++ ★ 1 2y agoExplain → -
demos-hchipmunk-ball ⑂
Game prototype(s)
Haskell ★ 1 10y agoExplain → -
demos ⑂
Various Space ROS demos.
Python ★ 0 1mo agoExplain → -
test
No description.
★ 0 2mo agoExplain → -
ikos-test
No description.
Ruby ★ 0 1y agoExplain → -
ikos ⑂
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ ★ 0 1y agoExplain → -
homebrew-core ⑂
Homebrew formulae from NASA - Software Verification and Validation
Ruby ★ 0 1y agoExplain → -
wg-aerospace ⑂
ELISA Aerospace Working Group
★ 0 1y agoExplain → -
ament_lint ⑂
No description.
★ 0 1y agoExplain → -
SoOSiM-components ⑂ ▣
No description.
Haskell ★ 0 13y agoExplain → -
hombrew
No description.
Ruby ★ 0 1y agoExplain → -
ros2_documentation ⑂
ROS 2 docs repository
Python ★ 0 2y agoExplain → -
demos-org-reveal
Just a simple org-reveal demo file
Emacs Lisp ★ 0 3y agoExplain → -
forks-binpack
An alternative version to Haskell's Binpack that is updated to work with the latest GHC
★ 0 13y agoExplain → -
forks-gooey ⑂
No description.
Haskell ★ 0 10y agoExplain → -
forks-ghcjs-base ⑂
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
Haskell ★ 0 10y agoExplain → -
forks-myrepos ⑂
Multiple Repository management tool
Perl ★ 0 10y agoExplain →
No repos match these filters.