nikivazou / thesis

Related projects ⓘ

Alternatives and complementary repositories for thesis

• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆120Updated 8 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated last month
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated last year
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• vincenthz / hs-connection
  simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
  ☆61Updated last year
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• deech / LeftPad
  ☆23Updated 6 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year