-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedFeb 20, 2024 -
-
boogie-friends Public
Forked from boogie-org/boogie-friendsTools for interacting with Boogie
Emacs Lisp UpdatedJan 5, 2024 -
val-lang.github.io Public
Forked from hylo-lang/hylo-lang.github.ioLanding page for Val
SCSS UpdatedSep 17, 2022 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp GNU General Public License v3.0 UpdatedMay 13, 2022 -
pimpl_ptr Public
Forked from sqjk/pimpl_ptrThe C++11 way of implementing the Fast Pimpl Idiom
C++ UpdatedApr 14, 2020 -
CompilerConstruction Public
Lexer and parser library based on the "Dragon Book" (https://en.wikipedia.org/wiki/Compilers:_Principles,_Techniques,_and_Tools)
C++ UpdatedDec 22, 2019 -
functional_cpp Public
C++ implementation of various functional programming concepts based on http://www.staff.city.ac.uk/~ross/papers/Applicative.html
C++ UpdatedDec 22, 2019 -
EveIndustryPlanner Public
Tool for approximating an optimal Market/Industry strategy for the game EVE Online based on the Generalized Linear Production Model
C++ UpdatedDec 22, 2019 -
poker_hand_evaluator Public
Monte Carlo Texas Hold'em poker hand evaluator. I wrote this in High School and only recently started refactoring and adding tests ...
C++ UpdatedDec 22, 2019 -
pie_cpp Public
A C++ EDSL implementation of the Pie language (https://github.com/the-little-typer/pie)
C++ UpdatedDec 22, 2019 -
cppbestpractices Public
Forked from cpp-best-practices/cppbestpracticesCollaborative Collection of C++ Best Practices
Other UpdatedOct 28, 2018 -
catkin_tools Public
Forked from catkin/catkin_toolsCommand line tools for working with catkin
Python Apache License 2.0 UpdatedMar 31, 2018 -
geometry2 Public
Forked from ros/geometry2A set of ROS packages for keeping track of coordinate transforms.
C++ UpdatedJan 4, 2018 -
ROS 3D Robot Visualizer
C++ BSD 3-Clause Clear License UpdatedDec 14, 2017 -
ros_comm Public
Forked from ros/ros_commROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).
C++ UpdatedNov 3, 2017 -
visualize-cbn Public
Forked from well-typed/visualize-cbnHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 30, 2017 -
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
JavaScript BSD 2-Clause "Simplified" License UpdatedSep 17, 2017 -
rospack Public
Forked from ros/rospackA command-line tool for retrieving information about ROS packages available on the filesystem
C++ UpdatedSep 6, 2017
{{ message }}