ollef | GitHub | Ecosyste.ms: Commits

ollef/sixty

Dependent type checker using normalisation by evaluation

Commits: 1,279

ollef/sixten

Functional programming with fewer indirections

Commits: 1,019

ollef/pups2

Work-in-progress PlayStation 2 emulator

Commits: 492

haskell-to-elm/haskell-to-elm

Generate Elm types, encoders, and decoders from Haskell types

Commits: 127

ollef/earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

Commits: 89

haskell-to-elm/haskell-to-elm-test

Commits: 42

haskell-to-elm/servant-to-elm

Generate Elm client libraries from Servant API definitions.

Commits: 41

ollef/rope-utf16-splay

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

Commits: 38

haskell-to-elm/elm-syntax

Library for generating Elm syntax from Haskell in a scope-safe way

Commits: 36

dagit/agda

Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.

Commits: 7

agda/agda

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

Commits: 7

jasongross/agda

Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git

Commits: 7

ollef/system-f-omega-agda

A formalization of System Fω in Agda

Commits: 7

haskell/haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Commits: 4

lazyprop/haskell-language-server

Commits: 4

haskell/ghcide

A library for building Haskell IDE tooling

Commits: 4

mpickering/ghcide-reflex

Experimental fork of ghcide which is reimplemented using the FRP library reflex

Commits: 4

ollef/fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums

Commits: 4

llvm/circt

Circuit IR Compilers and Tools

Commits: 4

JuliaLang/llvm-project

Fork of https://github.com/llvm/llvm-project

Commits: 2

trisycl/sycl

SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM

Commits: 2

morpheusgraphql/morpheus-graphql

Haskell GraphQL Api, Client and Tools

Commits: 2

flang-compiler/classic-flang-llvm-project

LLVM monorepo for integration with classic flang

Commits: 2

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Commits: 2

ajohnson-uoregon/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Commits: 2

revng/llvm-project

LLVM fork with minor changes

Commits: 2

openhwgroup/corev-llvm-project

Commits: 2

haskell/haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Commits: 2

waydroid/android_external_llvm-project

Commits: 2

oneapi-src/syclomatic

Commits: 2

haskell/lsp

Haskell library for the Microsoft Language Server Protocol

Commits: 2

mysterymath/microcosm-toolchain

A LLVM toolchain for Microcosm

Commits: 2

compiler-research/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Commits: 2

llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Commits: 2

llvm/clangir

A new (MLIR based) high-level IR for clang.

Commits: 2

llvm/llvm-project-release-prs

Repository for pull requests used for testing release branch backports in llvm/llvm-project

Commits: 2

ekmett/bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Commits: 2

leaningtech/cheerp-compiler

C++ to JavaScript/WebAssembly compiler

Commits: 2

llvm-mos/llvm-mos

Port of LLVM to the MOS 6502 and related processors

Commits: 2

avianphysics/avian

Commits: 1

mstksg/setup-stack

Github action for setting up haskell stack

Commits: 1

erkmos/haskell-companies

A gently curated list of companies using Haskell in industry

Commits: 1

n01e0/pretzel_logic

LLVM-based ROP obfuscated compiler

Commits: 1

mdgriffith/elm-ui

What if you never had to write CSS again?

Commits: 1

stil4m/elm-syntax

Elm syntax in Elm

Commits: 1

Jondolf/avian

ECS-driven 2D and 3D physics engine for the Bevy game engine.

Commits: 1

ueokande/vimmatic

A browser extension to enable Vim-like keymaps on the browsers!!

Commits: 1

obsidiansystems/dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

Commits: 1

llvm/llvm-project-staging

Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.

Commits: 1

llvm/llvm-project-staging

Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.

Commits: 1