Giters
Maxine DeAndrade (m4xine)

m4xine

Geek Repo

1

followers

1

following

109

stars

Company:@gg-data-and-systems

Location:Greenville, South Carolina

Home Page:https://m4xine.github.io

Github PK Tool:Github PK Tool

Organizations
gg-data-and-systems

Maxine DeAndrade's starred repositories

egui-wgpu-demo

Language:RustStargazers:32Issues:0Issues:0

ChezScheme

Chez Scheme

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

scribble

Language:RacketLicense:NOASSERTIONStargazers:197Issues:0Issues:0

haskell-libui

Haskell bindings to the libui C library.

Language:HaskellLicense:GPL-3.0Stargazers:47Issues:0Issues:0

libui

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

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

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

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

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Language:RustLicense:Apache-2.0Stargazers:21325Issues:0Issues:0

miniagda

A prototypical dependently typed languages with sized types and variances

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

network

Low-level networking interface

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

hs-tls

TLS/SSL implementation in haskell

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

attoparsec

A fast Haskell library for parsing ByteStrings

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

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2480Issues:0Issues:0

multirec

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

kilo

A text editor in less than 1000 LOC with syntax highlight and search.

Language:CLicense:BSD-2-ClauseStargazers:7308Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:446Issues:0Issues:0

Vinyl

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

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

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:740Issues:0Issues:0

elpi

Embeddable Lambda Prolog Interpreter

Language:PrologLicense:LGPL-2.1Stargazers:282Issues:0Issues:0

prolog

A prolog interpreter written in Haskell.

Language:HaskellStargazers:62Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4387Issues:0Issues:0

idris-tparsec

TParsec - Total Parser Combinators in Idris

Language:IdrisLicense:GPL-3.0Stargazers:93Issues:0Issues:0

purescript-halogen

A declarative, type-safe UI library for PureScript.

Language:PureScriptLicense:Apache-2.0Stargazers:1524Issues:0Issues:0

miso

:ramen: A tasty Haskell front-end framework

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

tailwind-haskell

A No-JavaScript Tailwind runner in Haskell

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

wai

Haskell Web Application Interface

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

haskell-scotty-realworld-example-app

Exemplary real world backend API built with Haskell/Scotty https://realworld.io

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

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

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

relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

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

selda

A type-safe, high-level SQL library for Haskell

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

universum

:milky_way: Prelude written in @Serokell

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