Luce - Lugano Computing Education Research Lab
Computer Science Education at USI
- 7 followers
- Lugano, Switzerland
- https://luce.inf.usi.ch
- @LuCEresearchlab
Popular repositories Loading
-
-
react-expression-tree
react-expression-tree PublicReact component that renders interactive expression trees.
-
sound-notional-machines
sound-notional-machines PublicFoundations for correct-by-construction notional machines
Haskell 1
-
-
Repositories
Showing 10 of 19 repositories
- programming-styles-pipeline-haskell-starter Public
Starter repository for the "Programming Styles" course at USI, specific for the Pipeline style in Haskell
LuCEresearchlab/programming-styles-pipeline-haskell-starter’s past year of commit activity - programming-styles-starter Public
Starter repository for the labs of the "Programming Styles" course at USI
LuCEresearchlab/programming-styles-starter’s past year of commit activity - 20xx-proposal-template Public
LuCEresearchlab/20xx-proposal-template’s past year of commit activity - react-expression-tree-math Public Forked from LuCEresearchlab/react-expression-tree
React component that renders interactive expression trees.
LuCEresearchlab/react-expression-tree-math’s past year of commit activity - react-math-formula-editor Public
LuCEresearchlab/react-math-formula-editor’s past year of commit activity