Simple http-client to interact with elevio-rest-api for viewing and searching articles :)
-
Updated
Jun 30, 2019 - Scala
#
effect-system
Here are 26 public repositories matching this topic...
scala
twitter
spark
twitter4j
functional-programming
twitter-api
spark-streaming
monogdb
zio
spark-mongodb-connector
effect-system
zio-effect
zio-environment
-
Updated
Mar 27, 2020 - Scala
Tina, a programming language with typed algebraic effects and handlers.
programming-language
algebraic-effects
interpreter
compiler
llvm
ocaml
effects
cps
type-checking
bidirectional-typechecking
effect-handlers
effect-system
-
Updated
Aug 13, 2021 - OCaml
ONE-SHOT Algebraic Effects for Lua!
-
Updated
Jun 16, 2022 - Lua
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
progress
lambda-calculus
theorem-proving
coq-formalization
preservation
stlc
effect-handlers
effect-system
nested-datatypes
control-operators
-
Updated
Sep 15, 2022 - Coq
Lepus Framework is an asynchronous REST API framework for Scala 3.
-
Updated
Jan 9, 2023 - Scala
Scala code examples for my master thesis
-
Updated
Feb 22, 2023 - Scala
Master thesis in computer science and engineering
-
Updated
Mar 11, 2023 - TeX
Direct-Style Programming for ZIO
-
Updated
Jun 2, 2023 - Scala
Adaptation of the crypto-rng library for the effectful ecosystem.
-
Updated
Nov 1, 2023 - Haskell
-
Updated
Nov 1, 2023 - Haskell
Functional, composable, asynchronous, type-safe Python.
immutable
types
functional-programming
async
static-code-analysis
effects
python3
asyncio
curry
python-3
type-safety
currying
immutable-objects
immutable-datastructures
mypy
immutable-collections
zio
effect-system
-
Updated
Nov 20, 2023 - Python
Servant bindings for the Effectful ecosystem
-
Updated
Dec 27, 2023 - Haskell
Effect Handlers in Scala, Evidently
-
Updated
Jan 9, 2024 - Scala
pg-transact for the Effectful ecosystem
-
Updated
Jan 21, 2024 - Haskell
A bioinformatics tool for analyzing somatic hypermutation
haskell
bioinformatics
multithreading
biomart
smt-solver
yaml-configuration
sbv
csv-writer
knuth-morris-pratt
linear-types
xml-generator
effect-system
effectful
somatic-hypermutation
-
Updated
Feb 10, 2024 - Haskell
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
static-analysis
symbolic-execution
flow-typing
abstract-interpretation
low-level-programming
6502-assembly
experimental-language
effect-system
-
Updated
Mar 17, 2024 - Python
Bindings to the `cache` library for the Effectful ecosystem
-
Updated
Apr 2, 2024 - Haskell
An experimental C++ runtime effect system
-
Updated
Apr 20, 2024 - C++
A modern functional programming language with effect system.
-
Updated
Apr 21, 2024 - Rust
Improve this page
Add a description, image, and links to the effect-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the effect-system topic, visit your repo's landing page and select "manage topics."