GithubHelp home page GithubHelp logo

jktkops's Projects

5head icon 5head

A starting point framework for computational exploration of the game 5D Chess With Multiverse Time Travel

answerable icon answerable

Powerful solution-based tester for small Java or Kotlin problems.

botw icon botw

Breath of the Wild Routes

codeproperty icon codeproperty

Determine if given Haskell code makes certain kinds of recursive calls.

corecompilers icon corecompilers

Working through Simon Peyton Jones' and David R Lester's "Implementing Function Languages: a tutorial"

cspim icon cspim

A C to MIPS compiler for QtSpim

enki icon enki

A beginner-focused logic programming language.

etca-forth icon etca-forth

A bootstrapping Forth for extension-heavy ETCa impls.

ghc icon ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

haskell-tutorials icon haskell-tutorials

Planning and Code for the Practical- and Theoretical- Approach to Haskell Tutorial Series

hoopl icon hoopl

Higher-order optimization library

lab10 icon lab10

Fall 2018 Lab10 starter code.

lab4 icon lab4

Fall 2018 Lab4 starter code.

lab5 icon lab5

Fall 2018 Lab5 starter code.

lab6 icon lab6

Fall 2018 Lab6 starter code.

lab8 icon lab8

Fall 2018 Lab8 starter code.

lithp icon lithp

A simple dialect of Lisp written in Java. Contains a parser combinator library.

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.