Type: User
To add this overlay from layman, do:
add to /etc/layman/layman.cfg
overlays : https://raw.githubusercontent.com/hardentoo/hardentoo/master/overlay.xml
then
sudo layman -a hardentoo
or run:
sudo su
layman -f -o https://raw.githubusercontent.com/hardentoo/hardentoo/master/overlay.xml -a hardentoo
Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
kernel
My kernel config for Asus U38N
kernel_gcc_patch
Kernel patch enables gcc optimizations for additional CPUs.
keyword-stat
Display keywording for ebuilds
kinder-functor
An alternate definition of Haskell's Functor typeclass
kitty
A cross-platform, fast, feature full, GPU based terminal emulator
koka
Koka language compiler and interpreter
kore
kubernetes
Production-Grade Container Scheduling and Management
kubernetes-the-hard-way
Bootstrap Kubernetes the hard way on Google Cloud Platform. No scripts.
labs
This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.
lambda
Simple Lambda Calculus Interpreter
lambda-1
Simply typed lambda calculus demo for Lambda Jam 2014
lambda-calculus
A Formalization of Typed and Untyped λ-Calculi in SSReflect-Coq and Agda2
lambda-calculus-1
An introduction to the Lambda Calculus
lambda-machine
A simple UI for evaluating expressions in the untyped lambda calculus
lambda-mod-zsh-theme
A simple zsh theme.
lambda-sampler
Boltzmann sampler utilities for lambda calculus
lambda_chess
The game of chess and an AI opponent written in untyped lambda calculus... and it's a quine
lambdacalc
Lambda Calculus Tools and Interpreter written in Haskell
lambdacalc-1
A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
lambdacube-compiler
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
lambdahs
lambdanet
Purely functional artificial neural network library implemented in Haskell.
lambdapi
Educational implementation of dependent types
lambdapinew
Dependently Typed Lambda Calculus in Haskell
lamcal
Simple implementation of untyped lambda calculus
lamdu-calculus
An extended typed Lambda Calculus
language-bash
Parse and pretty-print Bash shell scripts
latex-beamerposter
The LaTeX beamerposter package
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 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.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
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.