Giters
Prat (pt2121)

pt2121

Geek Repo

130

followers

43

following

151

stars

Location:A consensual hallucination

Home Page:pt2121.github.io

Github PK Tool:Github PK Tool

Prat's repositories

Snapper

Electron app for Screen capturing & recording Android devices (unmaintained)

Language:JavaScriptLicense:Apache-2.0Stargazers:102Issues:6Issues:1

kpop

Gradle plugin for generating Kotlin extensions from Java static methods

Language:KotlinStargazers:3Issues:0Issues:0

recompose

recompose is a tool for converting Android layouts in XML to Kotlin code using Jetpack Compose.

Language:KotlinLicense:Apache-2.0Stargazers:2Issues:2Issues:0

haskell-git

learning git internal from https://vaibhavsagar.com/blog/2017/08/13/i-haskell-a-git/

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

MarbledCat

Rx Marble diagram in logcat

Language:JavaLicense:Apache-2.0Stargazers:1Issues:0Issues:0

purescript-covfefe

Ok Google, talk to Real Donald Trump

Language:PureScriptLicense:Apache-2.0Stargazers:1Issues:2Issues:0

android-components

A collection of Android libraries to build browsers or browser-like applications.

Language:KotlinLicense:MPL-2.0Stargazers:0Issues:0Issues:0

applied-fp-course

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

arrow-meta

Functional companion to Kotlin's Compiler

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:1Issues:0

base

Unison base libraries

Language:RoffStargazers:0Issues:1Issues:0

bat

A cat(1) clone with wings.

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

beagle

A framework to help implement Server-Driven UI in your apps natively.

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:1Issues:0

category-theory-programmers

Notes on category theory in the context of (functional) programming

License:MITStargazers:0Issues:0Issues:0

csv-entities

a port of onebusaway csv entities for android

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

data2viz

An Android, JavaFx, JS multiplatform datavisualization library with comprehensive DSL

Language:KotlinStargazers:0Issues:1Issues:0

delta

A syntax-highlighter for git and diff output

Language:RustLicense:MITStargazers:0Issues:1Issues:0

digital-gardeners

Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs

License:MITStargazers:0Issues:1Issues:0

grapesjs

Free and Open source Web Builder Framework. Next generation tool for building templates without coding

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

Gryphon

The Swift to Kotlin translator.

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:1Issues:0

HaiIdris

Language:IdrisStargazers:0Issues:0Issues:0

haskell-playground

haskell playground

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

kategory

Functional Data Types & Abstractions for Kotlin

Language:KotlinLicense:NOASSERTIONStargazers:0Issues:0Issues:0

kotlin

The Kotlin Programming Language

Language:KotlinStargazers:0Issues:1Issues:0

Kotlin-Compiler-Crash-Course

A repository of helpful sources to figure out what the Kotlin compiler really is

Stargazers:0Issues:1Issues:0

neuron

Future-proof and simple-to-use notes system based on Zettelkasten.

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

purs

purescript playground

Language:PureScriptStargazers:0Issues:0Issues:0

rats

yet another colored logcat

Language:RustLicense:MITStargazers:0Issues:2Issues:1

slamdata

The web-based front-end for SlamData.

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

The-Communist-Manifesto_61

The Communist Manifesto by Marx, Karl, 1818-1883 Engels, Friedrich, 1820-1895 is a Project Gutenberg book, now on Github.

License:NOASSERTIONStargazers:0Issues:0Issues:0

unison

Next generation programming language, currently in development

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