lichengqian

lichengqian's Stars

• uber/queryparser

  Parsing and analysis of Vertica, Hive, and Presto SQL.

  Language:Haskell1.1k146

• postgres-haskell/postgres-wire

  A native Haskell driver for PostgreSQL

  Language:Haskell646

• partiql/partiql-spec

  The language specification of PartiQL.

  Language:Ruby15012

• matsubara0507/servant-kotlin

  Automatically derive Kotlin functions to query servant webservices

  Language:Haskell91

• kowainik/summoner

  🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

  Language:Haskell69473

• GaloisInc/elf-edit

  The elf-edit library provides a datatype suitable for reading and writing Elf files.

  Language:Haskell366

• begriffs/c-mix

  Demo of C project with Haskell functions

  Language:C771

• etorreborre/registry

  Components as records of functions for Haskell

  Language:Haskell16511

• linpengcheng/PurefunctionPipelineDataflow

  My Blog: The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with principle-based Warehouse/Workshop Model

  44528

• tweag/capability

  Extensional capabilities and deriving combinators

  Language:Haskell2149

• lightning/bolts

  BOLT: Basis of Lightning Technology (Lightning Network Specifications)

  Language:Markdown2.1k494

• input-output-hk/project-icarus

  Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.

  436

• RIOT-OS/RIOT

  RIOT - The friendly OS for IoT

  Language:C4.9k2k

• benzap/eden

  Embedded and Extensible Scripting Language in Clojure

  Language:Clojure1352

• composewell/streamly

  High performance, concurrent functional programming abstractions

  Language:Haskell85964

• DSLFoundry/mps-plaintextgen

  Alternative Textgen for JetBrains MPS using the standard model to model generation mechanisms

  205

• ronmamo/reflections

  Java runtime metadata analysis

  Language:Java4.7k700

• runtimeverification/iele-semantics

  Semantics of Virtual Machine for IELE prototype blockchain

  Language:HTML13233

• kosi-libs/Kodein

  Painless Kotlin Dependency Injection

  Language:Kotlin3.2k174

• ftomassetti/kllvm

  Kotlin library to work with LLVM

  Language:Kotlin579

• s1monw1/KtsRunner

  Library for executing .kts files from regular Kotlin code

  Language:Kotlin20423

• evoasm/kasm

  Assembler library for Kotlin

  Language:Kotlin434

• mikera/magic

  Experimental typed JVM Lisp inspired by Clojure

  Language:Java322

• aroemers/mount-lite

  mount, but different and light

  Language:Clojure1028

• GlenKPeterson/Paguro

  Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM

  Language:Java31124

• amiller/HoneyBadgerBFT

  The Honey Badger of BFT Protocols

  Language:Python31182

• red/red

  Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

  Language:Red5.5k412

• izhangzhihao/intellij-rainbow-brackets

  🌈Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio/Fleet

  Language:Kotlin4.4k213

• korlibs/wasm2kt

  Web Assembly to Kotlin and Java converter. Allows to compile a C or C++ program/library, and generate a Kotlin or Java program/library.

  Language:WebAssembly253

• roman/Haskell-capataz

  OTP-like supervision trees in Haskell

  Language:Haskell633