-
-
copilot Public
Forked from Copilot-Language/copilotA stream-based runtime-verification framework for generating hard real-time C code.
-
dunai Public
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
-
sdl2 Public
Forked from haskell-game/sdl2Haskell bindings to the SDL2 library
Haskell Other UpdatedNov 5, 2024 -
Yampa Public
Functional Reactive Programming domain-specific language for efficient hybrid systems
-
homebrew-core Public
Forked from NASA-SW-VnV/homebrew-coreHomebrew formulae from NASA - Software Verification and Validation
Ruby UpdatedOct 1, 2024 -
ikos Public
Forked from NASA-SW-VnV/ikosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ Other UpdatedOct 1, 2024 -
-
SpaceInvaders Public
A Haskell game written in Yampa
-
ros2_documentation Public
Forked from ros2/ros2_documentationROS 2 docs repository
Python Creative Commons Attribution 4.0 International UpdatedJan 16, 2024 -
mars_rover_monitor_test Public
Test of monitor for Mars Rover Space ROS demo -- dummy example
-
space-ros Public
Forked from space-ros/space-rosThe Space ROS meta operating system for space robotics.
Earthly UpdatedOct 4, 2023 -
haskanoid Public
A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
-
yampa-gloss Public
A gloss backend for yampa
-
simple-affine-space Public
A simple implementation of affine spaces and vector spaces
-
-
-
clean-home Public
DEPRECATED: Keep your $HOME clean by finding old conf files
-
demos-hacknotts2015 Public
A finger painting program in Haskell using leapmotion
-
demos-hchipmunk-ball Public
Forked from mlesniak/gameGame prototype(s)
-
forks-myrepos Public
Forked from symsec/mrMultiple Repository management tool
Perl UpdatedMay 8, 2016 -
games-voldemort Public
Game implemented during ZuriHac2015
-
forks-gooey Public
Forked from bergey/gooeyHaskell BSD 3-Clause "New" or "Revised" License UpdatedNov 12, 2015 -
forks-ghcjs-base Public
Forked from ghcjs/ghcjs-basebase library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
Haskell MIT License UpdatedNov 12, 2015 -
forks-fallingblocks Public
A mirror of fallingblocks (with minor updates)
-
forks-binpack Public
An alternative version to Haskell's Binpack that is updated to work with the latest GHC
BSD 3-Clause "New" or "Revised" License UpdatedJun 20, 2013 -
SoOSiM-ui Public
A Graphical User Interface for the SoOSiM simulator
-
-
SoOSiM-components Public
Forked from christiaanb/SoOSiM-componentsHaskell MIT License UpdatedJun 16, 2013 -
SoOSiM Public
Forked from christiaanb/SoOSiMAbstract full system simulator
{{ message }}