-
-
-
reitit Public
Forked from metosin/reititA fast data-driven routing library for Clojure/Script
Clojure Eclipse Public License 1.0 UpdatedApr 25, 2025 -
-
-
ihp Public
Forked from digitallyinduced/ihp🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Haskell MIT License UpdatedJul 31, 2024 -
ihp-boilerplate Public template
Forked from digitallyinduced/ihp-boilerplateProject Template for IHP. Used by ihp-new. License: MIT
Nix UpdatedJul 31, 2024 -
ihp-blog-example-app Public
Forked from digitallyinduced/ihp-blog-example-appExample project showing the project structure of a simple blog app built with IHP
Haskell UpdatedJul 15, 2024 -
datahike Public
Forked from replikativ/datahikeA durable datalog implementation adaptable for distribution.
Clojure Eclipse Public License 1.0 UpdatedJun 28, 2024 -
-
-
-
-
-
clj-http-lite Public
Forked from clj-commons/clj-http-liteA lite version of clj-http that uses the jre's HttpURLConnection
Clojure UpdatedSep 16, 2022 -
ihp-chat-example-app Public
Forked from digitallyinduced/ihp-chat-example-appExample project showing the project structure of a simple chat app built with IHP
Haskell UpdatedMar 14, 2022 -
interval-timer Public
An interval timer for Linux
Shell GNU General Public License v3.0 UpdatedNov 22, 2021 -
jobtechdev.se Public
Forked from weipe/jobtechdev.seThis is the site
JavaScript Apache License 2.0 UpdatedJan 25, 2021 -
Idris2-1 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedDec 3, 2020 -
skipta Public
Haskell/Servant/elm project
Elm GNU Affero General Public License v3.0 UpdatedDec 1, 2020 -
-
FreeRTOS-community-ports Public
The unofficial collection of community ports of FreeRTOS
-
-
jobtech-taxonomy-database Public
Forked from kordano/jobtech-taxonomy-databaseSchema definition and migration tools for the JobTech Taxonomy
Clojure Eclipse Public License 1.0 UpdatedJul 27, 2020 -
Idris2 Public
Forked from edwinb/Idris2-bootA dependently typed programming language, a successor to Idris
Idris Other UpdatedMay 4, 2020 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedFeb 16, 2020 -
-
-
-
bare-metal-idris-drivers Public
Drivers written in Idris for bare-metal apps
{{ message }}