csicar Goto Github PK
Name: Carsten Csiky
Type: User
Carsten Csiky's Projects
nushell.github.io
Nushell's main website, blog, book, and more
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:
openmensacampusnord
openMensa crawler for KIT Campus Nord
pdfpc
A presenter console with multi-monitor support for PDF files.
pskt
Kotlin-backend for PureScript
pskt-android-example
Basic example of a PsKt android app
pskt-foreigns
PsKt FFI-Files for standard PureScript libraries
purescript
A strongly-typed language that compiles to JavaScript
purescript-android-todomvc
PoC Implementation of TodoMVC as a native android app
purescript-arrays
Array utility functions
purescript-bridge
Create PureScript datatypes from Haskell datatypes
purescript-default
Type-Classes for Data-Types with Defaults
purescript-doctest
Generate tests from examples in purescript docs
purescript-dotlang
DotLang datatypes for purescript
purescript-fixed-points
Types for the least and greatest fixed points of functors.
purescript-foreign-generic
Generic deriving for purescript-foreign
purescript-generic-graphviz
library for generating graphviz visualizations using purescript generics
purescript-generic-graphviz-examples
purescript-graphs
Purely functional graph data structure
purescript-graphviz
graphviz renderer bindings for purescript using viz.js
purescript-heterogeneous-tuples
purescript-isomorphisms
A category of isomorphisms, and some standard isomorphisms
purescript-isomorphisms-class
Isomorphic class
purescript-math
Math functions
purescript-native
A native compiler backend for PureScript (via C++ or Golang)
purescript-record
Functions for working with records and polymorphic labels
purescript-record-apply
Demonstration of the applyRecord function
purescript-record-fold
purescript-sized-matrices
Sized Matrices for Purescript
purescript-sized-vectors
Idris style sized vectors in PureScript
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.