quintanar401 / autocomplete-kdb-q
Autocomplete/linter for KDB-Q
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for autocomplete-kdb-q
- Just a simple piece of code for identifying unused files in a Spring MVC project.☆12Updated 8 years ago
- JVM implementation in Haskell☆44Updated last month
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- HN Compiler☆62Updated 5 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- ☆21Updated last year
- Java Code Generator for Idris☆71Updated 8 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- =Please be aware that Concurnas is no longer in active development = Concurnas is an open source JVM programming language designed for bu…☆201Updated last year
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Optimizer library for tail recursive calls in Java bytecode☆122Updated last year
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- Codes related to Idris☆15Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated last month
- Standard ML interpreter, with relational extensions, implemented in Java☆298Updated last month
- adt4j - Algebraic Data Types for Java☆144Updated 6 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- A spoonful of ADT in your Java.☆49Updated last year
- ☆41Updated 10 years ago
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- A repo for my presentations.☆27Updated 6 years ago
- Left-leaning red-black trees☆48Updated 12 years ago
- N2O in Haskell☆29Updated 8 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated last week
- ☆24Updated 6 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- A more elegant specification for FRP☆24Updated 10 months ago