ulidtko Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-pythagoras

A proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)

aho-corasick

A fast implementation of Aho-Corasick in Rust.

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

api-docs

An API documentation browser for Atom.

atom

The hackable editor

atom-extension-cycler

Atom editor package to cycle through files of differing extensions

atom-language-idris

A Idris Mode for Atom.io

aurpublish

PKGBUILD management framework for the Arch User Repository

aws-lambda-haskell-runtime

⚡Haskell runtime for AWS Lambda

blynk-library

Libraries for embedded hardware to work with Blynk platform

bnw

BnW microbblogging service

book

The Rust Programming Language

botox

SIGSTOPing ELF binaries since 0x7E1

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal-helper

Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines

cling

Cling is an interactive C++ interpreter, built on top of Clang and LLVM compiler infrastructure.

cryptol.vim

A ViM plugin for the Cryptol programming language.

ctrlp.vim

Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

devicons

Devicons - An iconic font made for developers

devops-task

di-lambda-qlambda

Desktop software for DI-Lambda (in QT)

efm8boot

Silicon Labs EFM8 Factory Bootloader client

elastictabstops

Tab characters automatically adjust to keep adjacent lines aligned.

esformatter

ECMAScript code beautifier/formatter [WIP]

esqueleto

New home of Esqueleto, please file issues so we can get things caught up!

exe

Dependent Types Models and Proofs

freecad.frametools

beams and frames

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

haskell-stack-builder

Unprivileged/rootless Docker Image for building Haskell projects with Stack without Nix