Dsek-LTH / Website-prev
This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
☆12Updated 7 years ago
Alternatives and similar repositories for Website-prev:
Users that are interested in Website-prev are comparing it to the libraries listed below
- Programming exercises for primary and secondary education, in Swedish.☆15Updated 2 years ago
- The official website of Code@LTH☆17Updated 3 months ago
- Programming exercises for algorithm design☆46Updated last year
- Public files of EDA016 "Programming, First Course" given at Lund University, LTH.☆9Updated 7 years ago
- ☆18Updated last year
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆143Updated last month
- The Incredible Proof Machine☆367Updated last year
- An ssb client for image sharing.☆11Updated 5 years ago
- Verification framework and tool for higher-order Scala programs☆365Updated this week
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆370Updated last year
- Simple verification of Rust programs via functional purification in Lean 2(!)☆337Updated 7 years ago
- Scala sample code for Bartosz Milewski's CT for Programmers☆278Updated 6 years ago
- ☆9Updated 7 months ago
- Our Website☆17Updated 2 years ago
- A game with hexagonal blocks on a cylindrical world inspired by Minecraft☆12Updated last week
- Generalized bananas, lenses and barbed wire☆342Updated last month
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆257Updated 3 years ago
- An sbt plugin for viewing cat pictures. Because if sbt is going to download the entire Internet, it damn well ought to include some cat p…☆34Updated 8 years ago
- Dhall for Java☆174Updated 5 months ago
- formally verified category theory library☆259Updated 4 years ago
- ☆187Updated last month
- Write Scala.js React apps just like you would in ES6☆659Updated 2 months ago
- Scala grammar for tree-sitter☆161Updated 3 weeks ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- A Haskell library for typesafe music composition☆358Updated 5 years ago
- Anbandoned. see https://github.com/AL333Z/anti-xml☆18Updated 7 years ago
- recursion schemes for cats; to iterate is human, to recurse, divine☆388Updated this week
- A dependently typed programming language, a successor to Idris☆901Updated 4 years ago
- The Ott tool for writing definitions of programming languages and calculi☆355Updated 3 weeks ago