kiridi

PL and FP stuff

Pinned Repositories

marple
MARPLE is an open-source system profiling tool for Linux-based systems
Language:Python7 12 41
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Language:CodeQL7.7k 236 2.3k1.5k
BigInt
Arbitrary-sized integer class for C++
Language:C++00
concurrent-fp
Language:Haskell00
ijcai19-playgol
A. Cropper. Playgol: learning programs through play. IJCAI 2019. http://andrewcropper.com/pubs/ijcai19-playgol.pdf
Language:Prolog00
inductive-haskell
Inductive Haskell
Language:Haskell3 3 00
mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby00
metagol
Metagol - an inductive logic programming system
Language:Prolog0 0 00
PowerShell
PowerShell for every system!
Language:C#0 0 00
visualising-political-shills
Language:Python20

kiridi's Repositories

kiridi/inductive-haskell
Inductive Haskell
Language:Haskell3 3 00
kiridi/BigInt
Arbitrary-sized integer class for C++
Language:C++00
kiridi/concurrent-fp
Language:Haskell00
kiridi/ijcai19-playgol
A. Cropper. Playgol: learning programs through play. IJCAI 2019. http://andrewcropper.com/pubs/ijcai19-playgol.pdf
Language:Prolog00
kiridi/mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby00
kiridi/metagol
Metagol - an inductive logic programming system
Language:Prolog0 0 00
kiridi/PowerShell
PowerShell for every system!
Language:C#0 0 00
kiridi/ql
The standard QL libraries and queries that power LGTM.com and other Semmle Products
Language:C#0 0
kiridi/queercoll
Language:HTML1 0
kiridi/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language:Haskell1 0