Projects in Awesome Lists by polytypic
A curated list of projects in awesome lists by polytypic .
https://github.com/polytypic/fastener
Functional Zipper for manipulating JSON
cursor functional immutable json query transform zipper
Last synced: 30 Apr 2025
https://github.com/polytypic/f-omega-mu
Fωμ type checker and compiler
equirecursive-types higher-kinded-types hobby-project impredicative-types structural-types type-system wip
Last synced: 10 Aug 2025
https://github.com/polytypic/rea-ml
Effectful OCaml with Objects and Variants
applicatives asynchronous checked-exceptions effects functors higher-kinded-types hobby-project monads ocaml tagless-final
Last synced: 19 Apr 2025
https://github.com/polytypic/io
IO should be just a library
async-io concurrency interoperability parallelism runtimes
Last synced: 19 Apr 2025
https://github.com/polytypic/loko-ml
Lower-Kinded Optics for OCaml
hobby-project isomorphisms lenses optics traversals wip
Last synced: 10 Oct 2025
https://github.com/polytypic/idle-domains
Co-operative allocation of domains for OCaml
Last synced: 30 Apr 2025
https://github.com/polytypic/par-ml
Experimental parallel and concurrent OCaml
Last synced: 24 Jun 2025
https://github.com/polytypic/fsirefgen
FsiRefGen is a simple tool to generate HTML docs from given .fsi files
Last synced: 30 Apr 2025
https://github.com/polytypic/fsoptics
Experimental optics (lenses and traversals) for F#
Last synced: 19 Apr 2025
https://github.com/polytypic/netoptics
Optics for the impoverished
dotnet fsharp functional-programming isomorphisms lenses optics prisms traversals
Last synced: 30 Apr 2025
https://github.com/polytypic/ramda-rollup-hack
Hack to modify Ramda in-place to support Rollup and UglifyJS2 for effective dead code elimination
dead-code-elimination kludge ramda rollup uglifyjs2
Last synced: 30 Oct 2025
https://github.com/polytypic/sml-optics
Proof of concept optics library for Standard ML
functional-programming isomorphisms lenses optics prisms standard-ml traversals
Last synced: 22 Feb 2025
https://github.com/polytypic/klipse-github-docs-generator
Generates HTML pages with Klipse snippets from GitHub markdown
Last synced: 13 Jul 2025
https://github.com/polytypic/fabrik.cpp
FABRIK implementation in C++
cppsm hobby-project inverse-kinematics
Last synced: 22 Feb 2025
https://github.com/polytypic/kcas-talk
https://polytypic.github.io/kcas-talk/
Last synced: 22 Feb 2025
https://github.com/polytypic/math3d.cpp
Math primitives for 3D graphics
3d-math-library cppsm hobby-project
Last synced: 14 Oct 2025
https://github.com/polytypic/reagents.cpp
Unfinished hobby project - WIP
atomic composable concurrency cppsm
Last synced: 22 Feb 2025
https://github.com/polytypic/f-omega-mu-polar
Fωμ± or polarized higher-order equirecursive polymorphic lambda calculus
Last synced: 22 Feb 2025
https://github.com/polytypic/signal-issue
SIGSEGV or SIGBUS with OCaml 5.1.1+ when using signals
Last synced: 01 Jul 2025
https://github.com/polytypic/ocaml-gh
My personal scripts for working on my OCaml projects on GitHub
Last synced: 13 Jun 2025
https://github.com/polytypic/gl.cpp
WebGL 2 (OpenGL ES 3) convenience wrappers for Emscripten (C++)
Last synced: 22 Feb 2025
https://github.com/polytypic/emscripten.cpp
C++ convenience wrappers for Emscripten's APIs
cppsm emscripten hobby-project
Last synced: 22 Feb 2025