Henrik Andersson's starred repositories

czkawka

Multi functional app to find duplicates, empty folders, similar images etc.

Language:RustLicense:NOASSERTIONStargazers:18529Issues:0Issues:0

cs6120

advanced compilers

Language:HTMLLicense:MITStargazers:709Issues:0Issues:0

alacritty-smart-copy

A cross-platform, OpenGL terminal emulator with smart copy.

Language:RustLicense:Apache-2.0Stargazers:6Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3170Issues:0Issues:0

thih

typing haskell in haskell

Language:HaskellLicense:NOASSERTIONStargazers:15Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10316Issues:0Issues:0

Kind1

A modern proof language

Language:JavaScriptLicense:MITStargazers:3529Issues:0Issues:0

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:716Issues:0Issues:0

rio

A standard library for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:838Issues:0Issues:0

yabai

A tiling window manager for macOS based on binary space partitioning

Language:CLicense:MITStargazers:22517Issues:0Issues:0

datasets

🤗 The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools

Language:PythonLicense:Apache-2.0Stargazers:18780Issues:0Issues:0

pyJSMF-RAW

Python Implementation of Joint Stochastic Matrix Factorization - Rectified Anchor Word Algorithm

Language:PythonStargazers:4Issues:0Issues:0

symspellpy

Python port of SymSpell: 1 million times faster spelling correction & fuzzy search through Symmetric Delete spelling correction algorithm

Language:PythonLicense:MITStargazers:778Issues:0Issues:0

SymSpellChecker.jl

Julia port of SymSpell, extremely fast spelling correction and fuzzy search algorithm.

Language:JuliaLicense:MITStargazers:8Issues:0Issues:0

rust-dataframe

A Rust DataFrame implementation, built on Apache Arrow

Language:RustLicense:Apache-2.0Stargazers:279Issues:0Issues:0

palmetto-py

Python interface for https://github.com/dice-group/Palmetto

Language:PythonLicense:Apache-2.0Stargazers:40Issues:0Issues:0

cluwords

CluWords: Exploiting Semantic Word Clustering Representation for Enhanced Topic Modeling

Language:PythonStargazers:13Issues:0Issues:0

Palmetto

Palmetto is a quality measuring tool for topics

Language:JavaLicense:AGPL-3.0Stargazers:210Issues:0Issues:0

ankura

Anchor-based topic modeling

Language:PythonLicense:GPL-3.0Stargazers:3Issues:0Issues:0

ankura

Anchor-based topic modeling

Language:PythonLicense:GPL-3.0Stargazers:10Issues:0Issues:0

anchor-baggage

Experimentation code for the article "Building Topic Models Based on Anchor Words" based on the paper "Learning Topic Models: Going beyond SVD" by Sanjeev Arora, Rong Ge, and Ankur Moitra.

Stargazers:15Issues:0Issues:0

bspwm

A tiling window manager based on binary space partitioning

Language:CLicense:BSD-2-ClauseStargazers:7635Issues:0Issues:0

lshort

The Not So Short Introduction to LaTeX

Language:TeXLicense:GPL-3.0Stargazers:390Issues:0Issues:0