-
-
-
-
-
-
-
CatColab Public
Forked from ToposInstitute/CatColabA collaborative environment for formal, interoperable, conceptual modeling
Rust Apache License 2.0 UpdatedSep 25, 2025 -
-
-
-
-
fructure Public
a structured interaction engine 🗜️ ⚗️
-
-
awesome-structure-editors Public
Forked from yairchu/awesome-structure-editorsA list of projectional and structural editors
-
furl Public
in-progress 🚧 explosional 💥 editor
-
incr_dom Public
Forked from janestreet/incr_domA library for building dynamic webapps, using Js_of_ocaml.
OCaml MIT License UpdatedFeb 15, 2022 -
learn-ocaml Public
Forked from ocaml-sf/learn-ocamlA Web Application for Learning OCaml
JavaScript Other UpdatedSep 13, 2021 -
-
-
maria Public
Forked from mhuebert/mariaA ClojureScript coding environment for beginners.
JavaScript UpdatedSep 26, 2020 -
-
-
material-design-icons Public
Forked from google/material-design-iconsMaterial Design icons by Google
CSS Apache License 2.0 UpdatedJan 24, 2020 -
vardatalab Public
Haskell experiments with lifting variational data structures
-
-
containment-patterns Public
pattern combinators extending racket/match to capture 🔗 contexts 📦
-
-
-
depthop Public
a signed distance field 🎴 raymarcher ⛓️ parallelized with openmp
-
ProductLineAnalysis Public
Forked from ramyshahin/ProductLineAnalysisSome libraries and utilities for Software Product Line (SPL) analysis
Haskell MIT License UpdatedApr 11, 2019
{{ message }}