Giter Site home page Giter Site logo

Leo's Projects

amazonka icon amazonka

A comprehensive Amazon Web Services SDK for Haskell.

buildit icon buildit

An interactive block-building web app for teaching fundamental concepts in computer science and functional programming

cardcounter icon cardcounter

A simple CL program that counts cards and advises you on whether to hit or not.

elm-drag icon elm-drag

Track dragging motions when the mouse is down

elm-yesod icon elm-yesod

elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.

farmsanity icon farmsanity

A market-domination game in the browser written in Elm/Go

formality-tools icon formality-tools

These programs are created by Leo as part of his master's thesis in mathematics.

hippocampalswrdynamics icon hippocampalswrdynamics

Code for Krause and Drugowitsch (2022). "A large majority of awake hippocampal sharp-wave ripples feature spatial trajectories with momentum". Neuron.

inject.dart icon inject.dart

Compile-time dependency injection for Dart and Flutter

servant-elm icon servant-elm

Automatically derive Elm functions to query servant webservices

storytown icon storytown

An online teaching portal for language teachers and students written in Elm/Haskell

the-island icon the-island

A group survival game that combines mobile technology with tabletop gaming

the_island icon the_island

A team-survival game that combines smartphone technology with tabletop gaming

trans-sem icon trans-sem

Implementation of transformational semantics in Idris

tsuru-sample icon tsuru-sample

A solution to the problem posed here: http://www.tsurucapital.com/en/code-sample.html

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.