-
IMDEA Software
- Madrid
- https://software.imdea.org/~aliaksandr.hryzlou/
- https://orcid.org/0000-0001-6188-0417
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- ApacheConf
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dhall
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Forth
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Nix
- OCaml
- OpenEdge ABL
- PLSQL
- Perl
- Perl 6
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- UrWeb
- VCL
- VHDL
- Vim Script
- Vue
High precision scientific calculator with support for physical units
A declarative, type-safe UI library for PureScript.
Exemplary real world application built with PureScript + Halogen
Build type-safe web apps with PureScript.
An opinionated set of bindings to the React library, optimizing for the most basic use cases
A special-purpose UI library for Purescript
Concur UI Framework for Purescript
Write Apps like Mathematical Equations!
An extensible-effects implementation
A lightweight, fast and unintrusive PureScript file-watcher
Polymorphic variants for PureScript
A Reflex-Dom inspired UI library for PureScript
A simple push-pull FRP implementation
Hedwig is a fast, type safe, declarative PureScript library for building web applications.
PureScript UI framework based on lenses.
React Native bindings for purescript
Library of our UI components
Starter Pux app w/ hot-reloading and isomorphic routing and rendering
Experiments with comonads for modelling React UIs
A combinator library for generating markup
Purely functional UI library powered by FRP.
Incremental lambda calculus
Infer user interfaces from type signatures
Low-level PureScript wrappers for React Native
String parser combinators for PureScript.
An extensible virtual-dom library for PureScript.
Generalized folds, unfolds, and traversals for fixed point data structures
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces