recmo/extended-postgresql recmo/extended-postgresql

  • Stars
    star
    1
  • Language Makefile
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
recmo/extended-postgresql
github

recmo

Reviews

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

Repository Details

Docker image of PostgreSQL with popular extensions

More Repositories

1

uint

Rust Uint crate using const-generics
Rust
169
star
2

PostgrestSkeleton

Skeleton web stack using Docker Compose, PostgreSQL, PostgREST, Nginx and Auth0.
JavaScript
109
star
3

yul

Rust
101
star
4

cria

Tiny inference-only implementation of LLaMA
Python
91
star
5

experiment-solexp

Fixed point solidity exponentiation.
Jupyter Notebook
74
star
6

goldilocks

A library for fast NTTs over the Goldilocks prime field
Rust
71
star
7

pc-bench

Benchmarking Polynomial Commitments
Jupyter Notebook
47
star
8

rust-service-template

Rust
22
star
9

cli-batteries

Batteries included command line interfaces.
Rust
21
star
10

evm-groth16

Groth16 verifier in EVM
Solidity
19
star
11

binius

Fork of binius
Rust
19
star
12

kzg-ceremony-coordinator

Moved to https://github.com/ethereum/kzg-ceremony-sequencer
Rust
17
star
13

XCompile

Specify compose key sequences in a simple language.
Python
9
star
14

zkp-u256

Rust 256-bit unsigned integers.
Rust
9
star
15

rust-static-build

Rust build image to create statically compiled binaries.
Dockerfile
8
star
16

proto-ecdsa-plonky2

Rust
8
star
17

mpc-iris-code

Rust
7
star
18

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK
Rust
6
star
19

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks
Rust
5
star
20

dancing-cells

Rust
4
star
21

fhe-iris-code

Rust
4
star
22

Codecup-2014-Poly-Y

My entry for the 2014 Codecup Poly-Y competition. See http://www.codecup.nl/intro.php.
C++
3
star
23

EntropyCoder

Library for optimal compression using entropy/arithmetic/range coding.
C++
3
star
24

Codecup-2013-Symple

My entry for the 2013 Codecup competition. See http://archive.codecup.nl/2013/.
C++
2
star
25

shardtoken

Ethereum token contract for a post-state-rent, post-sharding world.
JavaScript
2
star
26

BitGovPrototype

BitGov prototype interface
CSS
1
star
27

remgo

Computer Go player using MCTS and HashLife inspired information sharing
C++
1
star
28

Codecup-2015-Ayu

C++
1
star
29

Principia

Futuristic programming, reasoning and proof language
C++
1
star
30

cotracker

Tool to fetch Aranet4 data
Rust
1
star
31

khinchin

Computes Khinchin's constant
Rust
1
star
32

pookie-bouncer

ESP32+TMC2209+NEMA17 motor controller for bouncing pookies.
C++
1
star