dannypsnl/ecto_timescaledb dannypsnl/ecto_timescaledb

  • Stars
    star
    7
  • Rank 2,250,306 (Top 46 %)
  • Language
    Elixir
  • License
    BSD 3-Clause "New...
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dannypsnl/ecto_timescaledb
github

dannypsnl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Provide extension to write TimescaleDB extended SQL.

More Repositories

1

sauron

A DrRacket plugin to make it experience like an IDE
Racket
48
star
2

redux

redux implementation in Go
Go
46
star
3

write-a-programming-language

How to make a new language(and why we shouldn't?)
39
star
4

plt-research

A collection of PLT researching
Racket
28
star
5

rocket

Light-weight web framework for Go
Go
26
star
6

elz

A polymorphism object-oriented programming language
Rust
24
star
7

racket-llvm

racket llvm C-API bindings
Racket
16
star
8

violet

A programming language, half theorem prover
Lean
12
star
9

typed-nanopass

rebuild nanopass with typed supports
Racket
11
star
10

k

k theorem prover
Racket
11
star
11

minic

Minimalist compiler course, based on Essential of Compilation
OCaml
10
star
12

racket-tree-sitter

racket binding to tree-sitter
Racket
9
star
13

little-scheme

A little scheme for playing SICP
Haskell
7
star
14

xnix

system setting for all *nix-like system
Lua
6
star
15

eikyo

polymorphsim language with mark system
Haskell
6
star
16

scheme-to-arm64

A scheme to Arm64 compiler
Racket
6
star
17

cover-badge

A badge generator for coverage
Racket
6
star
18

.github

GitHub workflow templates
5
star
19

on

A command line tool helps you execute commands base on a command context to avoid duplicate typing.
Go
4
star
20

controllable-refinement

A refinement system with controllable predicate
TeX
4
star
21

reporter

A util toolbox for compiler error reporting
Racket
4
star
22

extend

An extension provider of llir/llvm
Go
4
star
23

kubenet

Tiny Kubernetes to show how its network work
Go
4
star
24

drracket-wakatime

Wakatime for DrRacket
Racket
4
star
25

kld

A simple x86/elf32 linker
C
4
star
26

inductive

Inductive construction
Racket
3
star
27

counter

A gen_server counter
Erlang
3
star
28

control-spec

unit test framework for idris2
Idris
3
star
29

formatted-string

Extends racket string to formatted string
Racket
3
star
30

raytracer

racket raytracer
Racket
3
star
31

cocoa

cocoa in racket
Racket
2
star
32

dannypsnl

Whatever
2
star
33

math-note

TeX
2
star
34

parsec-extra

Lean Parsec extra
Lean
2
star
35

still-compiling

It's still...compiling
Racket
2
star
36

jsoncard

Convert json from stdin (pipeline) to forester card
OCaml
2
star
37

arend-template

Makefile
1
star
38

zig-on-mukava

Zig
1
star
39

data-type

data type syntax for typed/racket
Racket
1
star
40

useless-math

Useless math here!
Racket
1
star
41

lsp

language server protocol
Racket
1
star
42

algebraicgraph

Lean implementation of Algebraic Graphs with Class
Lean
1
star
43

headvariant

OCaml
1
star
44

zf4

A forth written in zig
Zig
1
star
45

dumbtt

My dumb code
OCaml
1
star
46

register-vm

Zig
1
star
47

mathler

terminal version of mathler
Racket
1
star