Dretch/idris-examples 📦

Language: Idris - Size: 1.95 KB - Last synced at: 20 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Dretch/monomer-flatpak-example 📦

Size: 0 Bytes - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 1

Dretch/foundationdb-explorer 📦

Language: Haskell - Size: 2.5 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

Dretch/monomer-hagrid 📦

Size: 0 Bytes - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 1

Dretch/haskell-desktop-portal 📦

Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

Dretch/haskell-dbus Fork of rblaze/haskell-dbus

A client library for the D-Bus IPC system.

Size: 4.58 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Dretch/network Fork of haskell/network

Low-level networking interface

Size: 1.72 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Dretch/flathub Fork of flathub/flathub

Pull requests for new applications to be added

Size: 2.65 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Dretch/purescript-querydsl 📦

Language: PureScript - Size: 541 KB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 17 - Forks: 1

Dretch/typescript-declarations-for-ext 📦

Language: TypeScript - Size: 975 KB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 19 - Forks: 10

Dretch/gi-gtk-declarative Fork of owickstrom/gi-gtk-declarative 📦

Declarative GTK+ programming in Haskell

Language: Haskell - Size: 1.11 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

Dretch/sdl2 Fork of haskell-game/sdl2

Haskell bindings to the SDL2 library

Size: 2.58 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Dretch/monomer-starter Fork of fjvallarino/monomer-starter

Starter project for Monomer applications.

Size: 531 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Dretch/monomer Fork of fjvallarino/monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

Size: 6.65 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Dretch/logging-log4j2 Fork of apache/logging-log4j2

Apache Log4j 2 is an upgrade to Log4j that provides significant improvements over its predecessor, Log4j 1.x, and provides many of the improvements available in Logback while fixing some inherent problems in Logback's architecture.

Size: 49.4 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Dretch/openapi-generator Fork of OpenAPITools/openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Size: 526 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Dretch/unordered-containers Fork of haskell-unordered-containers/unordered-containers

Efficient hashing-based container types

Size: 1.87 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

Dretch/foundationdb-haskell Fork of crclark/foundationdb-haskell

Haskell FFI bindings to the FoundationDB C API

Size: 173 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Dretch/spago Fork of purescript/spago

🍝 PureScript package manager and build tool powered by Dhall and package-sets

Language: Haskell - Size: 634 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Dretch/purescript-formatters Fork of purescript-contrib/purescript-formatters

Formatting and printing for numeric and date/time/interval values

Language: PureScript - Size: 89.8 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-spec-reporter-xunit Fork of purescript-spec/purescript-spec-reporter-xunit

A reporter for purescript-spec that outputs Xunit reports

Language: PureScript - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Dretch/purescript-httpure Fork of citizennet/purescript-httpure

A web framework written in PureScript.

Language: PureScript - Size: 238 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Dretch/purescript-monad-logger Fork of cprussin/purescript-monad-logger

A library providing a class for monads which log messages, an associated transformer, and associated data types.

Language: PureScript - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Dretch/ByteBuffer.js Fork of protobufjs/bytebuffer.js

ByteBuffer.js - A Java-like, Netty-inspired ByteBuffer implementation using typed arrays.

Language: JavaScript - Size: 362 KB - Last synced at: about 2 years ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0

Dretch/ProtoBuf.js Fork of protobufjs/protobuf.js

Protocol Buffers for JavaScript. Finally.

Language: JavaScript - Size: 1.63 MB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

Dretch/haskell-companies Fork of erkmos/haskell-companies

A gently curated list of companies using Haskell in industry

Size: 138 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-simple-json Fork of justinwoo/purescript-simple-json

A simple Purescript JSON library that uses types automatically

Language: PureScript - Size: 99.6 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-parsing Fork of purescript-contrib/purescript-parsing

A parser combinator library based on Parsec

Language: PureScript - Size: 220 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Dretch/atom-ide-purescript Fork of nwolverson/atom-ide-purescript

Atom package for PureScript build, completion, etc support

Language: PureScript - Size: 1.47 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-language-server Fork of nwolverson/purescript-language-server

Language: PureScript - Size: 202 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-arrays Fork of purescript/purescript-arrays

Array utility functions

Language: PureScript - Size: 311 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-node-buffer Fork of purescript-node/purescript-node-buffer

Type declarations for Node's Buffer class

Language: PureScript - Size: 74.2 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-node-sqlite3 Fork of justinwoo/purescript-node-sqlite3

Basic Purescript wrapper for node-sqlite3

Language: PureScript - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-spec Fork of purescript-spec/purescript-spec

Testing framework for Purescript

Language: PureScript - Size: 1.51 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/generic-bean-tests Fork of connect-group/generic-bean-tests

Test that Java Beans are serializable, and that getters/setters work as expected

Language: Java - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Dretch/purescript-mkdirp Fork of joshuahhh/purescript-mkdirp

Recursively mkdir, like `mkdir -p`, but in node.js (node-mkdirp for PureScript)

Language: PureScript - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Dretch/purescript-cheerio Fork of icyrockcom/purescript-cheerio

Language: PureScript - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Dretch/psc-package Fork of purescript/psc-package

A package manager for PureScript based on package sets

Language: Haskell - Size: 92.8 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Dretch/package-sets Fork of purescript/package-sets

A curated list of PureScript packages

Language: Shell - Size: 875 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Dretch/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 34 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Dretch/idris-http Fork of uwap/idris-http

An HTTP library for idris

Language: Idris - Size: 122 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Dretch/idris-bytes Fork of ziman/idris-bytes

FFI-based byte buffers for Idris

Language: Idris - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Dretch/specdris Fork of pheymann/specdris

A test framework for Idris

Language: Idris - Size: 49.8 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Dretch/thymesheet Fork of connect-group/thymesheet

CSS-inspired extension to @Thymeleaf

Language: Java - Size: 233 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Dretch/dd4t-2-java Fork of dd4t/dd4t-2-java

Language: Java - Size: 14.5 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

Dretch/MultiSlider Fork of apptik/MultiSlider

Multi functional slider/seekbar( / rangebar / scrubber) for Android

Language: Java - Size: 3.22 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

Dretch/ui-grid Fork of angular-ui/ui-grid

UI Grid: an Angular Data Grid

Language: JavaScript - Size: 14.8 MB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

Dretch/DefinitelyTyped Fork of DefinitelyTyped/DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language: TypeScript - Size: 98.6 MB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

Dretch/flex-sdk Fork of apache/flex-sdk

Mirror of Apache Flex SDK

Language: ActionScript - Size: 250 MB - Last synced at: about 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

Dretch/TypeScript Fork of fabioparra/TypeScript

A fork of TypeScript 1.4 that emits classes in a way that ExtJS understands

Language: TypeScript - Size: 145 MB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

Dretch/TypeScriptExtJSEmitter Fork of fabioparra/TypeScriptExtJSEmitter

A fork of typescript to emit code in Ext JS class style

Language: JavaScript - Size: 2.74 MB - Last synced at: about 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

Dretch/hazelcast Fork of hazelcast/hazelcast

Open Source In-Memory Data Grid

Language: Java - Size: 39.7 MB - Last synced at: about 2 years ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0

Dretch/flex-autocomplete Fork of hillelcoren/flex-autocomplete

Advanced Flex AutoComplete component which supports browsing, selecting and ordering multiple items.

Language: ActionScript - Size: 401 KB - Last synced at: about 2 years ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0

Dretch/rust Fork of rust-lang/rust

a safe, concurrent, practical language

Language: Rust - Size: 74.6 MB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0