Learning the functional paradigm with js
Repository Index
47,133 repositories indexed
385–408 of 502 · Most stars
Random forests for R for large data sets, optimized with parallel tree-growing and disk-based memory
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A parameter validation library - based on Ecto
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
This is a small, opinionated Go library and CLI for Markdown to PDF. It handles cover pages, tables of contents, watermarks, signatures, and more. You can use CSS themes and custom assets. It works with parallel batch processing. The engine behind it is Chrome. It does not rely on LaTeX.
- chrome-headless
- cli
- go
- goldmark
A fast and simple .NET parsing library
Shattered Paradise's main repository and installation Kit.
Authenticate users in your Symfony app via a single query parameter (e.g. email and newsletter links).
Preparation notes for Magento 2 Certified Professional Cloud Developer exam
- magento2
- magento-certified-cloud-developer
- magento-certified-developer
- exam
Go module for encoding structs into URL query parameters
- go
- querystring
- form
- form-data
The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.
KBCsv is an efficient, easy to use .NET parsing and writing library for the CSV (comma-separated values) format.
- csv
- netstandard
- c-sharp
- dotnet
Latte Dock NG is a Wayland-first dock for KDE Plasma 6.5+ that provides an elegant and intuitive experience for your tasks and widgets. It animates its contents using a parabolic zoom effect and stays out of the way when not needed.
brain-dead simple parallel processing for ruby
Tradução Magento 2 oficial para português do Brasil do site Crowdin
- translation
- magento2
- brazil
- brasil
Support vector machines (SVMs) and related kernel-based learning algorithms are a well-known class of machine learning algorithms, for non-parametric classification and regression. liquidSVM is an implementation of SVMs whose key features are: fully integrated hyper-parameter selection, extreme speed on both small and large data sets, full flexibility for experts, and inclusion of a variety of different learning scenarios: multi-class classification, ROC, and Neyman-Pearson learning, and least-squares, quantile, and expectile regression.
- svm
- regression
- classification
- machine-learning
Separate your read and write operations in replicated database setup
Push-to-talk voice dictation for Linux. 100% local, multilingual (25+ languages), with speaker diarization. Qt frontend, Rust backend on NVIDIA Parakeet via ONNX Runtime. KDE Plasmoid integrated.
- asr
- linux
- nvidia
- parakeet
Wraps the aws-sdk-go and hides the complexity of dealing with the not so Go friendly AWS SDK.
- aws
- golang
- parameter-store
- ssm
A Blazor component to create panes separated by a slidable splitter bar.
- blazor
- splitter
- split-container
An elixir module for parallel execution of functions/processes
A camera library with parallax scrolling and aspect ratios for LÖVE.
a SLIme-based TEst runner for FiveAM and Parachute Tests