Popular repositories Loading

1. trsprop trsprop Public

   Program to filter term rewrite systems by property.

   Haskell 1

2. term-rewriting term-rewriting Public

   Forked from haskell-rewriting/term-rewriting

   Yet another haskell term rewriting library

   Haskell 1

3. depp depp Public

   Haskell 1

4. ari-conversion ari-conversion Public

   A tool for converting between different formats of rewrite systems.

   Haskell 1 2

5. QuantumOptics.jl-examples QuantumOptics.jl-examples Public

   Forked from qojulia/QuantumOptics.jl-examples

   Examples for QuantumOptics.jl

   Jupyter Notebook

6. portfolio portfolio Public

   Forked from portfolio-performance/portfolio

   A simple tool to calculate the overall performance of an investment portfolio.

   Java 1