|
Scala |
7 |
Scala.js facades for Mithril.js |
Nov 23, 2018 |
|
JavaScript |
2 |
Bootstrap wrappers for Mithril.js |
Aug 04, 2017 |
|
JavaScript |
366 |
JSX for Mithril.js 0.x |
Mar 08, 2023 |
|
Java |
3 |
:rocket: Mithril.js plugin for Javalin :rocket: |
Oct 01, 2022 |
|
JavaScript |
4 |
mithril.js starter using esbuild |
Jun 24, 2022 |
|
JavaScript |
7 |
A presentation about Mithril.js. |
Apr 13, 2022 |
|
JavaScript |
31 |
Experiments in mithril.js + redux |
Feb 19, 2019 |
|
JavaScript |
5 |
Haskell bindings to mithril.js |
Sep 08, 2017 |
|
JavaScript |
3 |
The Mithril.js client-side adapter for Inertia.js. |
Sep 09, 2022 |
|
JavaScript |
2 |
A simple state management library for mithril.js |
Aug 23, 2022 |
|
JavaScript |
2 |
lightweight reddit / hackernews clone in mithril.js |
Oct 04, 2022 |
|
JavaScript |
3 |
A static blog build on mithril.js |
Nov 08, 2017 |
|
JavaScript |
14 |
Mithril.js boilerplate with hot reloading modules |
Jan 17, 2019 |
|
JavaScript |
9 |
A simple select list with search implemented for mithril.js |
Mar 23, 2021 |
|
CoffeeScript |
28 |
Twitter Client built on Electron with Mithril.js |
Nov 04, 2021 |
|
PHP |
2 |
My personal website built with Mithril.js and FlightPHP |
Mar 08, 2023 |
|
JavaScript |
2 |
Working through some Mithril.js tutorials and minor versions of examples |
May 14, 2018 |
|
JavaScript |
2 |
🧙 A proof-of-concept of a mithril.js static site generator |
Apr 15, 2020 |
|
TypeScript |
422 |
Types for testing TypeScript types. |
Sep 22, 2022 |
|
JavaScript |
7 |
Learn Mithril.js by seeing, reviewing, and running up-to-date code examples |
Apr 28, 2023 |
|
Go |
3 |
Package m is an HTML element builder and renderer, inspired by Mithril.js |
Dec 03, 2021 |
|
PHP |
25 |
Ping CRM on Mithril.js - A mithril demo application to illustrate how Inertia.js works. |
Mar 18, 2023 |
|
TypeScript |
16 |
Helper types for testing your package exported types |
Feb 29, 2020 |
|
TypeScript |
179 |
Additional types and types adjusted utilities for TypeScript |
Sep 10, 2022 |
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
R |
78 |
Types for R |
Aug 29, 2022 |
|
Haskell |
12 |
Types for ldtk |
Jan 12, 2023 |
|
CSS |
153 |
Scala's Types of Types |
Jan 18, 2021 |
|
JavaScript |
3 |
A package for syncing prop types with Typescript types |
Oct 10, 2021 |
|
Python |
19 |
Python types for type hinting commonly used ethereum types |
Jun 22, 2022 |
|
TeX |
3 |
Materials for TYPES 2019 submissions about inductive-inductive types |
Jul 24, 2019 |
|
PHP |
4 |
Some Doctrine Custom Types for some PosgreSQL data types |
Jun 09, 2022 |
|
Python |
3 |
ABANDONED: An example Django app using bootstrap-table, mithril.js, and django-rest-framework-json-api |
Jan 28, 2023 |
|
TypeScript |
2 |
🥛 A web based code editor built atop of Monaco powered by Mithril.js and Æsthetic |
Mar 28, 2023 |
|
Java |
11 |
Media types (MIME types) RFC6838 |
Jun 27, 2022 |
|
JavaScript |
4 |
Transpiles JSDoc types from namepaths to types for Closure Compiler |
Aug 10, 2021 |
|
PHP |
49 |
Utility for adding PHP 7 scalar types and return types |
Jun 04, 2022 |
|
Dhall |
6 |
Dhall types for Kops |
Jul 26, 2021 |
|
JavaScript |
6 |
Flow types for GeoJSON |
Dec 26, 2020 |
|
Python |
6 |
Report-types for Odoo |
Apr 25, 2022 |
|
Java |
9 |
CloudEvent Types for Java |
Jun 12, 2022 |
|
V |
10 |
Safe types for V |
Aug 09, 2022 |
|
C# |
10 |
CloudEvent Types for .NET |
Mar 20, 2022 |
|
Python |
11 |
CloudEvent Types for Python |
Aug 11, 2022 |
|
JavaScript |
11 |
Extra types for TypeScript |
Feb 01, 2022 |
|
JavaScript |
12 |
Error types for levelup. |
Dec 01, 2021 |
|
Scala |
819 |
Expressive types for Spark. |
Aug 03, 2022 |
|
Python |
2 |
Types for Telefone framework |
May 06, 2022 |
|
None |
2 |
Types definitions for RAGE:MP |
Nov 26, 2021 |
|
Rust |
226 |
Refinement Types for Rust |
Dec 01, 2022 |