malie

malie's Stars

• jathak/dart_scheme

  Online Scheme interpreter, formerly for 61A

  Language:Dart455

• typeswitch-dev/yotta

  Language:Forth543

• sanderland/katrain

  Improve your Baduk skills by training with KataGo!

  Language:Python1.6k227

• johannesgerer/Enhance

  Automatic derivation of zero-overhead C++ class enhancements, such as comparison/assignment operators, hash/swap/serialization/pretty printing functions and much more.

  Language:C++3

• chipsalliance/f4pga-examples

  Example designs showing different ways to use F4PGA toolchains.

  Language:Verilog26377

• ekmett/ersatz

  A monad for interfacing with external SAT solvers

  Language:Haskell6315

• well-typed/gp-zurihac-2020

  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

  Language:Haskell4410

• hasktorch/hasktorch

  Tensors and neural networks in Haskell

  Language:Haskell1.1k106

• Maratyszcza/PeachPy

  x86-64 assembler embedded in Python

  Language:Python2k159

• plaidml/plaidml

  PlaidML is a framework for making deep learning work everywhere.

  Language:C++4.6k398

• lochbrunner/charlie

  A learning project: Compiles C-Code to Byte-Code and runs it in a virtual machine.

  Language:C++81

• waltheri/go-libraries

  17821

• mattheww/gomill

  Python tools for the game of Go (GTP and SGF)

  Language:Python7121

• Frege/frege

  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

  Language:Frege3.6k145

• karpathy/recurrentjs

  Deep Recurrent Neural Networks and LSTMs in Javascript. More generally also arbitrary expression graphs with automatic differentiation.

  Language:HTML939184

• pasky/michi

  Minimalistic Go MCTS Engine

  Language:Python27656

• jgalenson/research.js

  Share your research online by compiling it to JavaScript!

  Language:Shell238

• meteor/meteor

  Meteor, the JavaScript App Platform

  Language:JavaScript44.4k5.2k

• sdiehl/picologic

  Symbolic logic expressions

  Language:Haskell145

• bos/configurator

  A Haskell library supporting flexible, dynamic file-based configuration.

  Language:Haskell12827

• msakai/toysolver

  My sandbox for experimenting with solver algorithms.

  Language:Haskell15411

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k188

• viclib/LiScript

  Fully-featured, blazingly-fast language that compiles to beautiful, hand-made-like JavaScript. Implemented in less than 100 lines.

  Language:JavaScript1047

• malie/playground

  playground

  Language:Haskell2

• AdamSpitz/Lively-Outliners

  Self-like object outliners in Javascript, using Lively Kernel

  Language:JavaScript52