japesinator/complex japesinator/complex

  • Stars
    star
    1
  • Language Idris
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
japesinator/complex
github

japesinator

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Messing around with complex numbers in idris

More Repositories

1

tarts

Timing attack resistant type systems
Idris
24
star
2

Idris-Bifunctors

A small bifunctor library for idris
Idris
21
star
3

Idris-Profunctors

A small profunctor library for idris
Idris
16
star
4

trapifier.py

Makes audio awesome
Python
5
star
5

Broadhead

Arrow-based parser combinators
Idris
5
star
6

funfacts.js

For when javascript's error messages are just way too helpful
JavaScript
4
star
7

Bad-Crypto

A bunch of flawed encryption algorithms
Python
4
star
8

retrogarde

Shell
1
star
9

EQUANIMITY3000

Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
Python
1
star
10

Tic-Tac-Toe.hs

tic-tac-toe in haskell
Haskell
1
star