Vitali Barozzi (vitalibarozzi)

vitalibarozzi

Geek Repo

Location:Brazil

Github PK Tool:Github PK Tool

Vitali Barozzi's repositories

abstract-effects

agnostic effect classes

Language:HaskellStargazers:0Issues:1Issues:0

abstract-effects-test

Testing SDK for the effects library.

Language:HaskellStargazers:0Issues:0Issues:0

al

Haskell OpenAL raw binding

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Carp

A statically typed lisp, without a GC, for real-time applications.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

openDE

Bindings of Open Dynamics Engine for Haskell.

Language:HaskellStargazers:0Issues:0Issues:0

yampa-apecs

Apecs adapter to Yampa.

Language:HaskellStargazers:0Issues:0Issues:0

yampa-brick

Yampa adapter to Brick.

Language:HaskellStargazers:0Issues:0Issues:0

yampa-gloss

A gloss backend for yampa

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

yampa-openal

Adapter between Yampa and OpenAL+ALUT

Language:HaskellStargazers:0Issues:1Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cleff

Fast and concise extensible effects

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

eff-1

A functional programming language based on algebraic effect handlers

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

extensible

Extensible records, variants, structs, effects, tangles

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

himalaya

CLI email client

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

HODE

bump and fixes

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hslua

Haskell bindings to Lua, an embeddable scripting language.

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

License:MITStargazers:0Issues:0Issues:0

irssi

The client of the future

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

kiwiirc

🥝 Next generation of the Kiwi IRC web client

License:Apache-2.0Stargazers:0Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

PomPom-Language

The cuteness implementation of a dependently typed language.

Stargazers:0Issues:0Issues:0

racket

The Racket repository

License:NOASSERTIONStargazers:0Issues:0Issues:0

scryer-prolog

A modern Prolog implementation written mostly in Rust.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

skip

A programming language to skip the things you have already computed

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

solanum

An IRCd for unified networks

License:GPL-2.0Stargazers:0Issues:0Issues:0

tart

Tart - draw ASCII art in the terminal with your mouse!

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

wasp

A programming language that understands what a web app is.

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

Language:HaskellStargazers:0Issues:0Issues:0