Danten

Danten's Stars

• advancedtelematic/rvi_sota_server

  ⛔⛔⛔⛔⛔⛔⛔ DEPRECATED ⛔⛔⛔⛔⛔⛔⛔

  Language:Scala94

• simedw/Solverine

  Theorem prover using sequent calculus, generates pretty proof trees in latex

  Language:Haskell6

• simedw/PureEqSat

  Equality Saturation for a small pure language

  Language:Haskell42

• Danten/SmardEdit

  Fopl project - Smart Editor

  Language:Haskell2

• simedw/Kandidat

  Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.

  Language:Haskell7