javpaw's Stars
thedaviddias/Front-End-Checklist
🗂 The perfect Front-End Checklist for modern websites and meticulous developers
httpie/cli
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
hasura/graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
deepset-ai/haystack
AI orchestration framework to build customizable, production-ready LLM applications. Connect components (models, vector DBs, file converters) to pipelines or agents that can interact with your data. With advanced retrieval methods, it's best suited for building RAG, question answering, semantic search or conversational agent chatbots.
quickwit-oss/quickwit
Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.
mxgmn/MarkovJunior
Probabilistic language based on pattern matching and constraint propagation, 153 examples
dendronhq/dendron
The personal knowledge management (PKM) tool that grows as you do!
fchollet/ARC-AGI
The Abstraction and Reasoning Corpus
victordibia/handtrack.js
A library for prototyping realtime hand detection (bounding box), directly in the browser.
com-lihaoyi/mill
Mill is a fast JVM build tool that supports Java, Scala and Kotlin. 2-4x faster than Gradle and 4-10x faster than Maven for common workflows, Mill aims to make your project’s build process performant, maintainable, and flexible
scalacenter/bloop
Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.
PurpleKingdomGames/indigo
An FP game engine for Scala.
i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
williamdemeo/TypeFunc
Resources for type theory, functional programming, etc.
leanprover-community/lean4-metaprogramming-book
ASR-project/Multilingual-PR
Phoneme Recognition using pre-trained models Wav2vec2, HuBERT and WavLM. Throughout this project, we compared specifically three different self-supervised models, Wav2vec (2019, 2020), HuBERT (2021) and WavLM (2022) pretrained on a corpus of English speech that we will use in various ways to perform phoneme recognition for different languages with a network trained with Connectionist Temporal Classification (CTC) algorithm.
leanprover-community/tutorials
Some Lean tutorials
uhh-lt/kaldi-tuda-de
Scripts for training general-purpose large vocabulary German acoustic models for ASR with Kaldi.
CodeRibbon/CodeRibbon
Navigate your code in an infinite timeline of code patches!
chkas/easylang
An easy programming language that runs in the browser
alwayswimmin/cs_guide
Collection of Useful CS Algorithms
jayhack/text-to-figma
Conversational UI for Figma
TiarkRompf/minidot
Dependent Object Types (DOT), bottom up
mgrabmueller/TransformersStepByStep
Tutorial on monad transformers
kitlangton/zio-slides
An interactive, websocket-backed slide presentation app.
EncodePanda/make-your-programs-free
achlipala/frapapp
Web application for course on Formal Reasoning About Programs
proglang/FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
anhnguyendepocen/SSS2-UC3M
Lab notes for "Statistics for Social Sciences II: Multivariate Techniques"
maxschmaltz/DERBI
DERBI (DEutscher RegelBasierter Inflektor) is a simple rule-based automatic inflection model for German based on spaCy. Applicable regardless of POS!