lichengqian

lichengqian's Stars

• theam/haskell-do

  :pencil2: :bar_chart: - The Haskell code editor focused on interactive development.

  Language:Haskell35231

• primaryobjects/AI-Programmer

  Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

  Language:C#1.1k264

• mikeizbicki/HLearn

  Homomorphic machine learning

  Language:Haskell1.6k135

• jbarrow/LambdaNet

  Purely functional artificial neural network library implemented in Haskell.

  Language:Haskell37738

• HeinrichApfelmus/hyper-haskell

  The strongly hyped Haskell interpreter.

  Language:JavaScript36324

• mbeddr/mbeddr.core

  The mbeddr core. An extensible C

  Language:JetBrains MPS22577

• aisamanra/s-cargot

  Elaborate and expressive S-Expression library for Haskell

  Language:Haskell616

• airalab/hs-web3

  Web3 API for Haskell

  Language:Haskell19068

• ku-fpg/haskino

  Our Arduino experiments

  Language:Haskell724

• pure11/pure11

  A small strongly typed language that compiles to C++11

  Language:Haskell152

• Consensys/quorum

  A permissioned implementation of Ethereum supporting data privacy

  Language:Go4.7k1.3k

• LouisJenkinsCS/LLVM-JVM

  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell

  Language:Haskell223

• corda/corda

  Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.

  Language:Kotlin4k1.1k

• write-you-a-scheme-v2/scheme

  Write You a Scheme

  Language:Haskell552115

• Gabriella439/Haskell-Server-Generic-Library

  Auto-generate a server for your datatype

  Language:Haskell301

• capital-match/hevents

  Event Sourcing library in Haskell

  Language:Haskell2

• kadena-io/pact

  The Pact Smart Contract Language

  Language:Haskell581101

• JeffreyBenjaminBrown/digraphs-with-text

  Language:Haskell665

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k116

• sdiehl/paris-fp

  Paris Functional Programming Meetup

  Language:Haskell273

• tweag/inline-java

  Haskell/Java interop via inline Java code in Haskell modules.

  Language:Haskell23015

• antonlogvinenko/javelin

  JVM implementation in Haskell

  Language:Haskell442

• haskell-foundation/foundation

  Empire strikes back

  Language:Haskell46492

• haskoin/haskoin-core

  Haskoin Core is a Bitcoin and Bitcoin Cash library

  Language:Haskell52394

• maxigit/crew

  Command rewriter

  Language:Haskell18

• tomahawkins/atom

  A DSL for embedded hard realtime applications.

  Language:Haskell27019

• legalese/legalese.github.io

  Static assets for legalese.com

  Language:HTML7127

• winterland1989/mysql-haskell

  Pure haskell mysql driver

  Language:Haskell12234

• snoyberg/file-server-demo

  Single-file example of a Haskell file server

  Language:Haskell436

• google/proto-lens

  API for protocol buffers using modern Haskell language and library patterns.

  Language:Haskell465110