Awesome List Updates on Feb 07, 2024
7 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Ai Collective Tools
Dating
- FantasyGF.ai - (N)SFW Chat with AI Girlfriends. Create your own AI Girlfriend, chat with her, ask her for pictures, or listen to her voice. Most advanced AI Girlfriend builder and chatting model. Chat with AI versions of OnlyFans Girls.
#freemium
2. Awesome Ocaml
Application Libraries
- React – React is an OCaml module for functional reactive programming (FRP). It provides support for programs with time-varying values, declarative events, and signals.
- Minicli (⭐31) – Minimalist library for command-line parsing.
- ocaml-containers (⭐505) – A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, Unix, etc.) BSD license.
Benchmarking
- core_bench (⭐53) – Micro-benchmarking library for OCaml by Jane Street. - Getting Started with Core_bench (⭐53)
Books
- More OCaml: Algorithms, Methods, and Diversions – In More OCaml, John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large-scale example dealing with the production of PDF files. There are questions for each chapter, along with worked-out answers and hints.
- OCaml from the Very Beginning by J. Whitington - OCaml from the Very Beginning will appeal both to new programmers and experienced programmers eager to explore functional languages such as OCaml.
- Pearls of Functional Algorithm Design by Richard Bird - It summarizes 30 hard algorithmic problems in the function programming world. Although it is for Haskell, the algorithm problems are very interesting, and trying to solve them in OCaml also helps the thinking of functional programming. Partial solutions in OCaml are here (⭐28).
- Real World OCaml by Y. Minsky, A. Madhavapeddy, and J. Hickey - Functional Programming for the masses.
- Unix System Programming in OCaml by X. Leroy and D. Rémy – Introduction to Unix Systems Programming, with an emphasis on communications between processes.
- OCaml Programming: Correct + Efficient + Beautiful - Textbook on Functional Programming and Data Structures in OCaml - by Michael R. Clarkson et al.
Code Analysis and Linters
- Mascot - Mascot is a style-checker for OCaml sources.
- Frama-C - Frama-C is a static analysis and formal proof framework for C and C++.
- flow (⭐22k) - flow is a static type checker for JavaScript.
Developer Tools
- BetterOCaml – An efficient, intuitive, and cross-platform web IDE with your OCaml code interpreted and running in your browser!
- utop (⭐878) – Universal toplevel for OCaml with support for multiline edition, history, real-time and context-sensitive completion, colors, and more.
Exercises and Short Examples
- 99 problems. 99% of the solutions are here (⭐54).
- OCaml at Exercism – Exercism is your place to engage in thoughtful conversations about code. Explore simplicity, idiomatic language features, and expressive, readable code. Solutions (⭐100).
Formal Software Verification
- Coq – Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.
User Interface
- Lambda-Term (⭐218) – Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, and colors, as well as a set of widgets to write curses-like applications.
- Notty (⭐361) - Notty is a declarative terminal library for OCaml, structured around the notion of composable images.
- ocaml-linenoise (⭐55) - Self-contained OCaml bindings to linenoise; easy high-level readline functionality in OCaml.
Large Source Code Examples
- Oni2 (⭐7.9k) - Native, lightweight modal code editor.
- xen-api (⭐353) - management stack that configures and controls Xen-enabled hosts and resource pools, and co-ordinates resources within the pool.
Logging
- Volt (⭐8) – A variant of the Bolt OCaml logging tool.
Printers helpers
- dyn in Dune. It appears to also be fully manual.
Regular Expressions
- Re (⭐237) – a pure OCaml regular expressions library with combinators, supporting several formats (glob, posix, str, etc.).
- Humane-re (⭐26) – Humane-re attempts to provide an easy interface for 90% of your regex needs. Courtesy of ocaml-re.
Security and Cryptography
- nocoiner (⭐11) - A Commitment scheme library for Multi-party computations such as online auctions and gambling.
- nocrypto (⭐111) – A small cryptographic library behind the ocaml-tls project. It is built to be straightforward to use, adhere to functional programming principles, and able to run in a Xen-based unikernel.
System Programming
- ocaml-fat (⭐25) – Read and write FAT-format filesystems from OCaml.
Utilities
- Uuidm - Uuidm is an OCaml module implementing 128-bit universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.
3. Awesome Postgres
Contents / GUI
- WebDB – Efficient Database IDE.
4. Magictools
Complete Game Sources / Voxel Editors
5. Awesome Neovim
Programming Languages Support / Diagnostics
- iabdelkareem/csharp.nvim (⭐269) - Enhances the development experience for .NET developers.
Language / Diagnostics
- tanloong/interlaced.nvim (⭐10) - Help align bilingual parallel texts.
6. Awesome Webaudio
Packages / Libraries
- waveform-path (⭐114) - Library to generate waveforms paths in svg.
- wave-audio-path-player (⭐60) - Simple audio player webcomponent customizable with waveform.
7. Awesome Ai4lam
Learning Resources / Other "awesome" lists in AI and ML
- Prev: Feb 08, 2024
- Next: Feb 06, 2024