Pinned Repositories
MAC-Crack
A Cracking Tool for open Wifis with login pages
MathTag
MathBox directive for angular
MensaPlan
Information for canteens at KIT, HS Pforzheim etc.
Ning
Network-Scanner for Android
pskt
Kotlin-backend for PureScript
purescript-doctest
Generate tests from examples in purescript docs
purescript-dotlang
DotLang datatypes for purescript
purescript-generic-graphviz
library for generating graphviz visualizations using purescript generics
purescript-typelevel-measures
Typesafe Units of Measure for PureScript with simplification and inference
wrandr
ARandR for Wayland (Sway)
csicar's Repositories
csicar/pskt-android-example
Basic example of a PsKt android app
csicar/csicar.github.com
Homepage
csicar/purescript-graphviz
graphviz renderer bindings for purescript using viz.js
csicar/cgpgrey-plane-simulator
csicar/atom-language-purescript
PureScript language support for the Atom editor
csicar/fx_cast
Implementation of the Chrome Sender API (Chromecast) within Firefox
csicar/Global-Consent-Manager
Global Consent Manager Project
csicar/hyper
Type-safe, statically checked composition of HTTP servers
csicar/jml-vscode
VS Code Extension for Support of Java Modelling Language
csicar/k-9
K-9 Mail – Advanced Email for Android 📧
csicar/NewPipe
A libre lightweight streaming front-end for Android.
csicar/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
csicar/OpenMensaCampusNord
openMensa crawler for KIT Campus Nord
csicar/pdfpc
A presenter console with multi-monitor support for PDF files.
csicar/purescript-android-todomvc
PoC Implementation of TodoMVC as a native android app
csicar/purescript-default
Type-Classes for Data-Types with Defaults
csicar/purescript-native
A native compiler backend for PureScript (via C++ or Golang)
csicar/purescript-sized-vectors
Idris style sized vectors in PureScript
csicar/purescript-sparse-polynomials
simple tools for polynomials
csicar/purescript-telegram-api
Wrapper for the Telegram Bots REST-API
csicar/purescript-typelevel
Type level natural numbers and booleans
csicar/purescript-typelevel-numbers
Typelevel Numbers represented with Symbols
csicar/purescript-unicode-prelude
unicode names for prelude functions
csicar/shotwell
digital photo organizer
csicar/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
csicar/tasks
Bringing Astrid Tasks back from the dead
csicar/translators
Zotero Translators
csicar/ulauncher-timer
Timer Extension
csicar/vscode-language-purescript
PureScript Language Support for Visual Studio Code
csicar/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.