Popular repositories Loading

1. SymLogos SymLogos Public

   SymLogos: A Python library extending SymPy with higher-order modal logic capabilities for formal reasoning and theorem proving.

   Python 3

2. Projects Projects Public

   Forked from karan/Projects

   📃 A list of practical projects that anyone can solve in any programming language.

   1

3. fortune fortune Public

   JavaScript 1

4. fantasy-language-maker fantasy-language-maker Public

   Forked from slabgorb/fantasy-language-maker

   Markov chain fantasy language generator in python

   Python 1

5. currency-symbol-map currency-symbol-map Public

   Forked from bengourley/currency-symbol-map

   A function to lookup the currency symbol for a given currency code

   JavaScript

6. isparta isparta Public

   Forked from douglasduteil/isparta

   A code coverage tool for ES6 (babel/6to5)

   JavaScript