laika

Minimalistic type-checked compile-time template engine

Stars

7

Forks

0

Language

Haskell

Last Updated

Dec 05, 2019

Similar Repos
Repo Language Stars Description Updated At
Rust 586 Compile-time type-checked builder derive Apr 27, 2023
Rust 4 Compile-time checked tensor type in Rust with tch backend Sep 15, 2020
Haskell 2 Haml-like template files that are compile-time checked May 27, 2014
Haskell 135 Haml-like template files that are compile-time checked Apr 22, 2023
C++ 3 Compile time checked printf format strings Jun 20, 2022
Rust 26 Statically-checked Rust template engine Mar 17, 2023
Rust 117 lazy static regular expressions checked at compile time Aug 20, 2022
Rust 2 Type-level compile-time bitset May 02, 2022
C++ 20 Runtime/Compile time copyable type info. Jan 30, 2022
Rust 15 Rust compile-time type information experiment Apr 15, 2023
Smalltalk 2 A minimalistic template engine for Pharo Jan 23, 2024
Scala 2 Compile-time DI Play template Aug 29, 2018
Rust 7 Provides incomplete!(), a compile-time checked version of Rust's unimplemented!() macro Nov 01, 2022
Java 127 Compile-time checked Unions of different types for Domain Modeling [STABLE] Nov 29, 2022
Java 35 Compile-time checked Unions of different types for Domain Modeling [STABLE] May 09, 2020
Rust 2 An attempt to build static typed, compile-time checked tenor in Rust May 13, 2023
Shell 27 Compile-time optimized Bevy project template Aug 20, 2022
Haskell 78 Haskell PostgreSQL library with compile-time type inference Apr 15, 2023
Rust 22 Compile-time in-code SQL validations & type generations May 06, 2023
C++ 4 Compile-time checked and highly efficient 4-state logic implementation in C++20 Apr 04, 2022
JavaScript 14 Gulp plugin to compile ect.js template engine Jun 18, 2020
None 2 Type checked JSX for Rust Mar 08, 2023
Rust 1826 Type checked JSX for Rust Apr 28, 2023
Nim 73 A fully type safe, compile time only units library. Apr 21, 2023
TypeScript 2 Lightweight, Laravel Blade Inspired template compile/rendering engine Feb 18, 2022
JavaScript 4 Minimalistic template engine for composing DRY HTML and SVG. Dec 30, 2017
Groovy 6 Gradle plugin that provides a minimalistic template engine feature. Dec 28, 2020
C++ 11 Template (Compile-time) Turing Machine in C++20 May 31, 2022
Rust 70 👩‍💻 type-checked JSX for Rust Apr 30, 2023
Python 2 Minimalistic KID and FID implementation. Reference checked against cleanfid Aug 29, 2022
Scala 9 A functional, compile-time and type-safe models layer separator Aug 06, 2022
Pascal 2 Type checking of dimensioned quantities at compile time in FreePascal Apr 14, 2023
Haxe 4 Little run-time and compile-time template system based on hscript Apr 10, 2023
Java 15 compile-engine Apr 20, 2022
Rust 13 A proc macro for creating compile-time checked CSS class sets, in the style of classNames Apr 27, 2023
Clojure 137 Minimalistic blog engine Jul 27, 2022
C 4 Minimalistic Chess Engine Mar 05, 2022
CMake 64 🏀 Up your type-game. A small C++ library for compile-time type names and type indices. May 11, 2023
JavaScript 18 Babel plugin to compile Vue template at build time. May 31, 2021
C++ 13 Compile time unit checking with C++11 template magic. Dec 08, 2022
C++ 7 Compile-time C compiler implemented in C++ Template MetaProgramming Feb 02, 2023
JavaScript 8 Statically type checked model updates using Flow Feb 16, 2021
TypeScript 369 Type-checked Schema.org JSON-LD for React Aug 07, 2022
TypeScript 2 Type-checked Schema.org JSON-LD for Astro Aug 30, 2022
Solidity 9 Solidity counter type that bypasses checked arithmetic Apr 08, 2023
Rust 207 Type checked state machine library in Rust May 02, 2023
Rust 380 Generate type-checked Rust from your PostgreSQL. May 24, 2023
Scala 2 A compile-time type-level quine program for Dotty (Scala 3). Jan 28, 2023
Python 2 Minimalistic Django Template Dec 06, 2021
Go 2 Go Template Engine for type safe / fast rendering Jan 12, 2023