-
code_obfuscator Public
Forked from frank-at-adacore/code_obfuscatorApplication to change object names in an Ada file or project
Ada UpdatedFeb 6, 2025 -
alire Public
Forked from alire-project/alireCommand-line tool from the Alire project and supporting library
Ada GNU General Public License v3.0 UpdatedJan 8, 2025 -
tree-sitter-ada Public
Forked from briot/tree-sitter-adaAda grammar for tree-sitter
C MIT License UpdatedJan 3, 2024 -
ada-spark-rfcs Public
Forked from AdaCore/ada-spark-rfcsPlatform to submit RFCs for the Ada & SPARK languages
UpdatedJul 15, 2021 -
lastpass-cli Public
Forked from lastpass/lastpass-cliLastPass command line interface tool
C GNU General Public License v2.0 UpdatedMar 24, 2020 -
ada_language_server Public
Forked from AdaCore/ada_language_serverServer implementing the Microsoft Language Protocol for Ada and SPARK
Ada GNU General Public License v3.0 UpdatedNov 23, 2019 -
contributing-howto Public
Forked from AdaCore/contributing-howtoGuidelines for contributing to AdaCore's repositories
UpdatedNov 22, 2019 -
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedOct 8, 2019 -
STOTP Public
Forked from jklmnn/STOTPSPARK TOTP library
Ada GNU Lesser General Public License v3.0 UpdatedOct 29, 2018 -
libtrading Public
Forked from libtrading/libtradingLibtrading, an ultra low-latency trading connectivity library for C and C++.
C Other UpdatedJan 2, 2018 -
maildir indexer/searcher + emacs mail client + guile bindings
C GNU General Public License v3.0 UpdatedJun 17, 2017 -
spark2014 Public
Forked from AdaCore/spark2014SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada UpdatedMay 26, 2017 -
libzmq Public
Forked from zeromq/libzmqZeroMQ core engine in C++, implements ZMTP/3.0
C++ GNU General Public License v3.0 UpdatedMar 19, 2017 -
wanderlust Public
Forked from wanderlust/wanderlustWanderlust Development Repository
Emacs Lisp Other UpdatedJan 8, 2017 -
flim Public
Forked from wanderlust/flimFLIM Development Repository for Wanderlust
Emacs Lisp UpdatedDec 6, 2016 -
Ntimed Public
Forked from bsdphk/NtimedNetwork time synchronization software, NTPD replacement.
C UpdatedNov 12, 2016 -
cl-lex Public
Forked from djr7C4/cl-lexCommon Lisp macros for generating lexical analyzers automatically
Common Lisp GNU General Public License v3.0 UpdatedSep 13, 2016 -
ocaml-imap Public
Forked from nojb/ocaml-imapNon-blocking IMAP4rev1 client library for OCaml
OCaml Other UpdatedAug 10, 2016 -
ocamlgraph Public
Forked from backtracking/ocamlgraphOCaml graph library
PostScript Other UpdatedAug 10, 2016 -
mel-base Public
Forked from neonsquare/mel-baseA versatile mail library for common lisp
Common Lisp Other UpdatedJul 4, 2016 -
the_silver_searcher Public
Forked from ggreer/the_silver_searcherA code-searching tool similar to ack, but faster.
C Apache License 2.0 UpdatedMay 13, 2016 -
BasisLibrary Public
Forked from SMLFamily/BasisLibraryRepository and Wiki for enriching the Standard ML Basis Library
Standard ML UpdatedAug 25, 2015 -
ada-mode Public
Fork of the ada-mode-4.00 from Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedAug 19, 2015 -
opam Public
Forked from ocaml/opamOPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML Other UpdatedMar 23, 2015 -
spark-navigation Public
Robot navigation algorithms implemented in SPARK
-
pp Public
Forked from RobArthan/ppProofPower is an open source suite of tools for specification and proof in HOL and Z.
C Other UpdatedAug 28, 2014 -
pp-contrib Public
Forked from RobArthan/pp-contribpp-contrib is a collection of contributed examples and tools for ProofPower users.
TeX UpdatedAug 14, 2014
{{ message }}