-
pytamaro Public
Forked from LuCEresearchlab/pytamaroEducational library for Python to teach programming using graphics
Python MIT License UpdatedFeb 10, 2025 -
-
scat Public
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
-
Logic-Circuit-Simulator Public
Forked from jppellet/Logic-Circuit-SimulatorA logic circuit simulator for educational purposes
TypeScript MIT License UpdatedJan 7, 2024 -
-
-
bernays Public
Visual interactive proof assistant for propositional logic
-
Notes de cours et exercices pour le cours de "Fondamentaux formels / Informatique Théorique" du programme GymInf en français
-
-
haskell-distribution Public
Haskell package for finite discrete probability distributions.
-
-
sphinx-book-theme Public
Forked from executablebooks/sphinx-book-themeA lightweight book theme built off of the pydata sphinx theme
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedMar 9, 2021 -
sphinx Public
Forked from sphinx-doc/sphinxMain repository for the Sphinx documentation builder
Python Other UpdatedFeb 9, 2021 -
zipterpreter Public
A Scala interpreter for lambda calculus, using Huet's Zipper
-
awesome-scala Public
Forked from lauris/awesome-scalaA community driven list of useful Scala libraries, frameworks and software.
Python Apache License 2.0 UpdatedNov 27, 2020 -
-
scala-smtlib Public
Forked from regb/scala-smtlibScala library for parsing and printing the SMT-LIB format
Scala MIT License UpdatedNov 27, 2019 -
-
polymorph-library Public
Library behind the Polymorph password generator.
-
scalatomic Public
Easy to use (and hard to misuse) interface for atomic variables.
-
keras Public
Forked from keras-team/kerasDeep Learning for humans
-
deepmath Public
Forked from tensorflow/deepmathExperiments towards neural network theorem proving
C++ Apache License 2.0 UpdatedOct 18, 2017 -
-
cafesat Public
Forked from regb/cafesatThe CafeSat SMT solver for Scala
Scala MIT License UpdatedSep 7, 2017 -
scastie Public
Forked from scalacenter/scastieAn interactive playground for Scala
Scala Apache License 2.0 UpdatedJun 26, 2017 -
-
-
-
Aleatory.js Public
A discrete random variable library in Javascript.
-
leon Public
Forked from epfl-lara/leonThe Leon system for verification, synthesis, and more.
Scala Other UpdatedMar 16, 2016
{{ message }}