Projects in Awesome Lists by clarus
A curated list of projects in awesome lists by clarus .
https://github.com/clarus/redux-ship
Side effects with snapshots for Redux.
Last synced: 04 Apr 2025
https://github.com/clarus/coq-chick-blog
🐣 A blog engine written and proven in Coq
Last synced: 16 Mar 2025
https://github.com/clarus/cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
Last synced: 10 Feb 2025
https://github.com/clarus/coq-moment
⌚ Parse, manipulate and pretty-print times and dates in Coq
Last synced: 22 Apr 2025
https://github.com/clarus/coq-cunit
Convenience functions for unit testing in Coq.
Last synced: 22 Apr 2025
https://github.com/clarus/phd-experiments
Experiments I am doing for my PhD
Last synced: 14 Apr 2025
https://github.com/clarus/stripspace
Remove all unnecessary whitespaces in a Git project.
Last synced: 14 Apr 2025
https://github.com/clarus/coq-function-ninjas
Simple functional combinators.
Last synced: 22 Apr 2025
https://github.com/clarus/table-hub-heroku
Table-Hub's Rails application deployed on Heroku.
Last synced: 14 Apr 2025
https://github.com/clarus/install-all-opam
Install a maximum of OPAM Coq packages.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-clojure-extraction
A Coq plugin to do extraction to Clojure
Last synced: 22 Apr 2025
https://github.com/clarus/twitter_irc
A pipe to redirect messages from Twitter to IRC
Last synced: 14 Apr 2025
https://github.com/clarus/coq-extraction-string-ocaml
Interface to the OCaml strings for the Coq extraction.
Last synced: 22 Apr 2025
https://github.com/clarus/massive-ci
Make sure no one kills my or my friends' projects
Last synced: 22 Apr 2025
https://github.com/clarus/redux-ship-daily
Redux Ship fork of Elm fork of React Daily UI
Last synced: 14 Apr 2025
https://github.com/clarus/coq-clarus-clojure-test
Tests for the branch "Clojure" of https://github.com/clarus/coq.
Last synced: 22 Apr 2025
https://github.com/clarus/import-contribs
Scripts to import the Coq contribs to OPAM.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-wg-november-2015
Presentation on OPAM for the Coq Working Group of November 2015.
Last synced: 22 Apr 2025
https://github.com/clarus/coq2opam2web
Files to build the website for the Opam packages of Coq.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-monad-plugin
A Coq plugin to write monadic code naturally.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-hoq
Experiments to compile the standard library of HoTT independently.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-big-int-ocaml
Interface to native OCaml big integers.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-string
Interface to native strings.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-lwt
Interface to the native OCaml Lwt library.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-sys-ocaml
Interface to the native OCaml Sys library.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-sys
Interface to native OCaml Sys library.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-error-handlers
Simple and robust error handling functions.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-big-int
Interface to native OCaml big integers.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-breakable-computations
Breakable computations.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-lwt-ocaml
Interface to the native OCaml Lwt library.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-repo
An OPAM repository for the development versions of my projects.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-hott-opam-repo
A repository to show how to install HoTT from Opam.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-extraction-loop
Interface to the infinite integer.
Last synced: 22 Apr 2025
https://github.com/clarus/concurrent-computations
A definition of concurrent computations in Coq.
Last synced: 14 Apr 2025
https://github.com/clarus/redux-experiments
Experiments around the Redux architecture.
Last synced: 14 Apr 2025
https://github.com/clarus/promote-opam
Promote OPAM for the existing GitHub projects.
Last synced: 14 Apr 2025
https://github.com/clarus/slides-coq-gt-october-2014
The slides for Coq WG of October 2014.
Last synced: 14 Apr 2025
https://github.com/clarus/repos2web
A website of the OPAM packages for Coq.
Last synced: 14 Apr 2025
https://github.com/clarus/test-angular-rails
Experiments with the tutorial http://coderberry.me/blog/2013/04/22/angularjs-on-rails-4-part-1/
Last synced: 14 Apr 2025
https://github.com/clarus/python-reddit-test
Some tests with Python and Reddit.
Last synced: 14 Apr 2025
https://github.com/clarus/certified-web-servers
A study about certified web servers.
Last synced: 22 Apr 2025
https://github.com/clarus/coq-configure
Experiments to use the latest `coq_makefile` for OPAM.
Last synced: 22 Apr 2025
https://github.com/clarus/presentation-coq-lab
Présentation de Coq pour le Lab.
Last synced: 22 Apr 2025
https://github.com/clarus/ocaml-minimal-example-env-typedtree
Example for a question on Discuss
Last synced: 22 Apr 2025