alcides Goto Github PK

haskell_tutorial

Codebits 2012 Talk: What's the fuss about Functional Programming — Haskell mini Tutorial

hgvs

HGVS variant name parsing and generation

homebrew

Packaging system for Mac OS X 10.5 and above; heavy optimisations, no redundant packages and a bonus beer theme

homebrew-core

🍻 Default formulae for the missing package manager for macOS

hookbox

HookBox is a Comet server and message queue that tightly integrates with your existing web application via web hooks and a REST interface.

hurl

Hurl makes HTTP requests.

insieme

The Insieme Compiler and Runtime Infrastructure

java.tmbundle

TextMate support for Java

jparcompiler

Java to Parallel Java compiler, using the AeminiumRuntime

jrapl

Java Bindings for the RAPL power API from Intel

jumper

Jumper

latex.tmbundle

TextMate support for LaTeX

lean3_tutorial

Tutorial to use Lean for theorem proving

lean4

Lean 4 programming language and theorem prover

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

llvm_tutorial

A tutorial to learn how to emit LLVM

miso-dsl

MISO language for parallel and dependable computations.

miso-rust

MISO language implemented on top of Rust Macros

ml_machine_demo

Demo of using machine-learning.di.fc.ul.pt

mylangvscodeextension

A VSCode extension using LSP for a minimal example PL implemented in Python

mypy

Optional static typing for Python

nixpkgs

Nix Packages collection

numba

NumPy aware dynamic Python compiler using LLVM

parga

Genetic Algorithm for evolving a NBody System built on Threads, ForkJoin, Aeminium and JPar

pascal-in-python

Pascal compiler implemented in python using Lex, Yacc and LLVM

pcg_cl

OpenCL implementation of the PCG random number generator.

pcm1920

Public clone of internal repository

plgradschools

pltalk

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

ponyge2

PonyGE2: grammatical evolution and variants in Python