Dandandan

Apache Arrow / DataFusion PMC member. Working as Software Engineer (Query Engine) @coralogix .

@coralogix

Pinned Repositories

arrow
Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics
Language:C++14.8k 352 25.6k3.6k
arrow-datafusion
Apache Arrow DataFusion and Ballista query engines
Language:Rust0 2 01
arrow-rs
Official Rust implementation of Apache Arrow
Language:Rust0 2 00
avro-tools-rust
Avro tools using Rust
Language:Rust2 3 00
datafusion-tokomak
Experimental optimizer for DataFusion
Language:Rust15 3 00
dbt-athena
dbt adapter for Athena
Language:Python38 9 139
Easing
Easing (animation and timing) library for Elm
Language:Elm23 5 610
FpsCounter
FpsCounter for Elm
Language:Elm2 3 00
parser
Parser combinator library for Elm
Language:Elm36 9 713
PowerSQL
Robust data transformation tool using SQL
Language:Rust20 2 181

Dandandan's Repositories

Dandandan/parser
Parser combinator library for Elm
Language:Elm36 9 713
Dandandan/Easing
Easing (animation and timing) library for Elm
Language:Elm23 5 610
Dandandan/similarity-finder
Python tool that lists combinations of similar files (or cases of plagiarism) within a directory
Language:Python2 3 0
Dandandan/TypeConstrainedProgramSearch
Type Constrained Program Search: Superoptimization using types and pruning
Language:Haskell2 3 00
Dandandan/church
Control structures using church encoding
Language:Elm1 3 00
Dandandan/monte-carlo-rnn
Monte Carlo Sampling example for Recurrent Neural Networks
Language:Python1 3 0
Dandandan/provabe-compiler
Verified compiler in Agda
Language:Agda1 4 01
Dandandan/LightSaver
Language:JavaScript0 5 00
Dandandan/agda-stdlib
The Agda standard library
Language:Agda3 0
Dandandan/app
DemocracyOS is an online space for deliberation and voting on political proposals. The software aims to stimulate better arguments and come to better rulings.
Language:JavaScript
Dandandan/chart
Language:Elm
Dandandan/core
Elm's core libraries
Language:Elm3 0
Dandandan/devices
Servo-specific APIs to access various devices
Language:Rust
Dandandan/elm-compiler
Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.
Language:Haskell
Dandandan/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3 0
Dandandan/image
Encoding and decoding images in Rust
Language:Rust
Dandandan/InfiniteMonkey
InfiniteMonkey Plagiarism Detection
Dandandan/Lazy
Infinite Data Structures for Elm
Language:Elm3 0
Dandandan/Manifesto
Meta-repository for organizational stuff
3 0
Dandandan/mollie-api-ruby
Mollie API client for Ruby
Language:Ruby3 0
Dandandan/OpenRCT2
An open source re-implementation of Roller Coaster Tycoon 2.
Language:C
Dandandan/piston
A user friendly game engine written in Rust
Language:Rust
Dandandan/rust
a safe, concurrent, practical language
Language:Rust3 0
Dandandan/scikit-learn
scikit-learn: machine learning in Python
Language:Python3 0
Dandandan/servo
The Servo Browser Engine
3 0
Dandandan/subpixel
subpixel: A subpixel convnet for super resolution with Tensorflow
Language:Jupyter Notebook3 0
Dandandan/Telescope
An open-source social news app built with Meteor
Language:JavaScript3 0
Dandandan/TPT-2014
Theory of Programming and Types, academic year 2014-2015
Language:Agda
Dandandan/webglstudio.js
A full 3D graphics editor in the browser, with scene editor, coding pad, graph editor, virtual file system, and many features more.
Language:JavaScript
Dandandan/wpl-sbv
Checking assertions in GCL using SMT
Language:Haskell