Search: github.com/dahal | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Dhall: A Safe, Total, Distributed Object and Configuration Language

github.com/dhall-lang

8 years ago

1 points

62.

Dagalti: Make your dev server startup times faster dramatically

github.com/crazysoftwarecoder

10 years ago

1 points

63.

DataLoader: batch and cache your data store

github.com/facebook

11 years ago

1 points

64.

Show HN: Aqueduct AI Gateway – A Self-Hostable AI Gateway Without the "Taxes"

github.com/TU-Wien-dataLAB

a year ago

1 points

65.

Differential Datalog

github.com/vmware

5 years ago

231 points

66.

Differential Datalog: a programming language for incremental computation

github.com/vmware

4 years ago

170 points

67.

Type-safe Datalog in OCaml

github.com/c-cube

9 years ago

80 points

68.

Dhall 1.0.1: a total programming language specialized to configuration files

github.com/Gabriel439

10 years ago

16 points

69.

Datalevin: Durable Datalog Store

github.com/juji-io

6 years ago

5 points

70.

Differential Datalog

github.com/vmware

6 years ago

4 points

71.

DDlog: A programming language for incremental computation

github.com/vmware

2 years ago

3 points

72.

Juji-io/datalevin: A simple, fast and durable Datalog database

github.com/juji-io

6 years ago

3 points

73.

Bash One-Liner for Getting Arduino Serial Data to Stdout

github.com/gskielian

12 years ago

2 points

74.

Datalevin: A simple, fast and versatile Datalog database

github.com/juji-io

2 years ago

2 points

75.

Differential Datalog

github.com/vmware

6 years ago

2 points

76.

Show HN: Built JSONLogic in Rust in 5hrs with GitHub Copilot as pair programmer

github.com/Open-Payments

2 years ago

1 points

77.

Datalog query engine for PouchDB

github.com/dahjelle

12 years ago

1 points

78.

Datalevin Vector Indexing and Similarity Search

github.com/juji-io

a year ago

1 points

79.

Location Data Logger for Nokia S60 Phones with GPS

github.com/spatial-intelligence

7 years ago

1 points

80.

Ask HN: Embeddable Value-Oriented Languages?

3 years ago

1 points

81.

Show HN: Cozo – new Graph DB with Datalog, embedded like SQLite

github.com/cozodb

4 years ago

425 points

82.

SeaweedFS fast distributed storage system for blobs, objects, files and datalake

github.com/seaweedfs

2 years ago

thushanfernando

328 points

83.

Datalog in Rust

github.com/frankmcsherry

a year ago

326 points

84.

A relatively simple Datalog engine

github.com/frankmcsherry

8 years ago

207 points

85.

Datahike: Durable Datalog database powered by an efficient Datalog query engine

github.com/replikativ

6 years ago

146 points

86.

DataScript: Immutable database and Datalog query engine in ClojureScript

github.com/tonsky

11 years ago

116 points

87.

Datafrog: A lightweight Datalog engine in Rust

github.com/rust-lang

4 years ago

111 points

88.

Naga: Datalog-based rules engine in Clojure

github.com/threatgrid

10 years ago

87 points

89.

Where's Ryan Dahl?

14 years ago

48 points

90.

Show HN: Percival – Web-based reactive Datalog notebooks, made with Rust+Svelte

github.com/ekzhang

5 years ago

22 points