type-safe

Star

Here are 153 public repositories matching this topic...

lichess-org / lila

Star

♞ lichess.org: the forever free, adless and open source chess server ♞

game typescript chess scala functional-programming play-framework free-software type-safe non-profit lichess

Updated Sep 29, 2022
Scala

koskimas / kysely

Star

A type-safe typescript SQL query builder

nodejs mysql typescript browser sql database sqlite postgresql type-safe query-builder deno

Updated Sep 27, 2022
TypeScript

softwaremill / tapir

Star

Declarative, type-safe web endpoints library

http documentation scala akka akka-http functional-programming declarative http4s http-client openapi play-framework http-requests http-server type-safe observability sttp zio

Updated Sep 30, 2022
Scala

AbstractMachinesLab / caramel

Sponsor

Star

🍬 a functional language for building type-safe, scalable, and maintainable applications

erlang elixir compiler ocaml type-safe functional-language caramel

Updated Aug 10, 2022
OCaml

mpollmeier / gremlin-scala

Star

Scala wrapper for Apache TinkerPop 3 Graph DSL

scala graph type-safe graph-database gremlin graphdb

Updated Sep 21, 2022
Scala

Zaid-Ajaj / Feliz

Sponsor

Star

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

react html fsharp fable dsl type-safe feliz elmish-applications

Updated Sep 20, 2022
F#

p-ranav / structopt

Star

Parse command line arguments by defining a struct

Updated Jul 24, 2022
C++

japgolly / scalacss

Star

Super type-safe CSS for Scala and Scala.JS.

css scala scalajs type-safe type-safety scalatags scalajs-react

Updated Sep 17, 2022
Scala

LeoVen / C-Macro-Collections

Star

Easy to use, header only, macro generated, generic and type-safe Data Structures in C

c list library data-structure stack queue datastructures containers data-structures hashmap multiset type-safe heap linkedlist deque multimap datastructure

Updated May 29, 2021
C

purescript-hyper / hyper

Star

Type-safe, statically checked composition of HTTP servers

node web purescript functional-programming type-safe

Updated Mar 9, 2021
PureScript

simerplaha / SwayDB

Sponsor

Star

Persistent and in-memory key-value storage engine for JVM that scales on a single machine.

kotlin java scala database embeddable storage-engine jvm persistent in-memory type-safe key-value-store multiple-disks

Updated Sep 16, 2022
Scala

vmanot / SwiftDB

Star

A modern database abstraction layer, batteries included.

swift wrapper sql database runtime dsl coredata type-safe attribute core-data relationship codable swiftui property-wrapper

Updated Sep 23, 2022
Swift

krzema12 / github-actions-kotlin-dsl

Star

Authoring GitHub Actions workflows in Kotlin.

github kotlin library dsl type-safe kotlin-script github-actions

Updated Sep 29, 2022
Kotlin

Zaid-Ajaj / Fable.Remoting

Sponsor

Star

Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps

suave fable ajax rpc type-safe saturn client-server webpart giraffe

Updated Sep 17, 2022
F#

sahandnayebaziz / Hypertext

Star

Any-way-you-want-it, type-safe HTML in Swift.

html swift server dsl markup server-side-swift type-safe

Updated Sep 23, 2017
Swift

nstack / nstack

Star

Type-safe, composable microservices for data analytics

python haskell microservices serverless containers dsl composition type-safe data-analysis

Updated Aug 20, 2018
Haskell

hydux / hydux

Star

A light-weight type-safe Elm-like alternative for Redux ecosystem, inspired by hyperapp and Elmish

react virtual-dom framework typescript router state-management preact elm-architecture ssr type-safe hyperapp hydux 2kb

Updated Feb 1, 2019
TypeScript

olshevski / compose-navigation-reimagined

Star

🌈 Type-safe navigation library for Jetpack Compose

Updated Sep 29, 2022
Kotlin

DavidLeeds / hashmap

Star

Templated type-safe hashmap implementation in C using open addressing and linear probing for collision resolution.

c map template gcc data-structures generic-programming hashmap type-safe constant-time tiny-library embedded-linux linear-probing open-addressing

Updated Mar 5, 2022
C

hecrj / composable-form

Sponsor

Star

Build type-safe composable forms in Elm

elm forms form form-validation type-safe composable

Updated Aug 21, 2022
Elm

Improve this page

Add a description, image, and links to the type-safe topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-safe topic, visit your repo's landing page and select "manage topics."

Learn more