Awesome List Updates on Nov 30 - Dec 06, 2020
67 awesome lists updated this week.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Newsletters
General Web Development
- Codrops. Weekly news about qualitative new projects and libraries in web development and design.
Data Visualization / Svelte
- Generative Collective. News, tutorials, articles and inspirations covering the generative / functional arts every Saturday morning.
GraphQL / Svelte
- GraphQL Weekly. A weekly newsletter highlighting resources and news from the GraphQL community.
2. Awesome Devtools
Resources / Documentation
- ExplainShell - A better way to read MAN pages.
3. Awesome Homematic
CCU Addons
- HAP-HomeMatic (⭐185) - RaspberryMatic / CCU3 addon to access your HomeMatic devices from HomeKit. Its much like https://github.com/thkl/homebridge-homematic (⭐173) but without homebridge.
4. Awesome Javascript
Functional Programming / Runner
- rambda (⭐1.6k) - Faster and smaller alternative to Ramda.
5. Awesome Scientific Writing
Converters and Filters
- Jupyter Book - A static site generator which converts a collection of CommonMark, MyST markdown and Jupyter notebooks into a HTML website.
- MyST - Markedly Structured Text, a superset of CommonMark markdown with reStructuredText like features.
6. ALL About RSS
Apps / Outline Processor Markup Language
- 咕咚订阅 (RSS Plus) 884
Hosted Readers / Outline Processor Markup Language
RSS Reader in Email System / Outline Processor Markup Language
RSSHub / Outline Processor Markup Language
Telegram / Telegram RSS bots
specifically from (a certain platform) / Twitter
specifically from (a certain platform) / Docsify
- tutorial 868
RSS2NEWSLETTER / Docsify
RSS2WIDGET / For website
RSS2CMS / Webpage Monitor Services with capability of monitoring RSS Feed 1264
🧩 API / Webpage Monitor Services with capability of monitoring RSS Feed 1264
Full Article Extractors / Webpage Monitor Services with capability of monitoring RSS Feed 1264
Entertainment / Webpage Monitor Services with capability of monitoring RSS Feed 1264
Tech or IT / Webpage Monitor Services with capability of monitoring RSS Feed 1264
Multi-subject / Crypto or Blockchain relevant
Telegram Groups / Channels / Crypto or Blockchain relevant
- NodeRSSbot (Channel)
- TheFeedReaderBot (Group)
7. Public Apis
Finance
API: Twelve Data
Description: Stock market data (real-time & historical)
Auth:
apiKey
HTTPS: Yes
CORS: Unknown
Call this API:
Games & Comics
API: Board Game Geek
Description: Board games, RPG and videogames
Auth: No
HTTPS: Yes
CORS: No
8. Awesome K6
Extensions
- GitHub Topic: xk6 - Explore k6 extensions tagged with the xk6 label.
9. Awesome Quantum Computing
Blogs
- The Quantum Aviary - Blog without the hype talking about developments in quantum hardware.
10. Awesome Tikz
Tools / PGFPlots
- quiver (⭐2k) - A commutative diagram editor that exports to tikz-cd.
11. Awesome Postgres
Contents / Extensions
- pg_cron (⭐2.7k) - Run periodic jobs in PostgreSQL.
12. Awesome Kotlin
Libraries/Frameworks / Misc
- Kotlin/kotlinx-datetime (⭐2.4k) - A multiplatform Kotlin library for working with date and time.
13. Awesome Credit Modeling
Credit Scoring
- Machine learning predictivity applied to consumer creditworthiness - Analyzes the adequacy of borrower’s classification models using a Brazilian bank’s loan database, exploring machine learning techniques, and comparing their predictive accuracy with a benchmark based on a Logistic Regression model. Comparisons are based on usual classification performance metrics.
14. Awesome Tensorflow Lite
Blog posts / Other
- 2020-04-17 Optimizing style transfer to run on mobile with TFLite - By Khanh LeViet and Luiz Gustavo Martins.
- 2019-11-08 Getting Started with ML on MCUs with TensorFlow - By Brandon Satrom.
- 2018-06-11 - Why the Future of Machine Learning is Tiny - By Pete Warden.
- 2018-03-30 - Using TensorFlow Lite on Android) - By Laurence Moroney.
Books / Other
- 2019-12-01 TinyML - By Pete Warden (@petewarden) and Daniel Situnayake (@dansitu).
Videos / Other
15. Awesome Terraform
Community
Tutorials and Blog Posts / How-To
- Deploying Django to AWS ECS with Terraform - Looks at how to use Terraform to spin up the required AWS infrastructure for running a Django app on ECS.
Tools / Community providers
- Checkov (⭐6.8k) - Terraform static analysis tool for terraform>=0.12
- TerraDepot (⭐65) Terraform state repository, based on the default http remote backend. Allows the central administration of tfstates on AWS S3.
- Terraform-Visual (⭐604) - A simple but powerful tool to visualize Terraform plan.
- terratag (⭐926) - Terratag is a CLI tool that enables users of Terraform to automatically create and maintain tags across their entire set of AWS, Azure, and GCP resources.
Libraries / IDE
- python-hcl2 (⭐244) - HCL2 parser in Python
16. Awesome Saltstack
Tutorials
- Revised Getting Started with SaltStack - Part 1 - Simple setup and play around on the command line.
Blogposts and opinions
- Parsing Command Output in Saltstack with JC - How to easily parse remote command output in SaltStack, using
jc
.
17. Awesome Jupyter
Rendering/Publishing/Conversion
- Jupytext (⭐6.5k) - Convert and synchronize notebooks with text formats (e.g. Python or Markdown files) that work well under version control.
18. Awesome Selfhosted
Software / Communication - Custom Communication Systems
- Tinode - Instant messaging platform. Backend in Go. Clients: Swift iOS, Java Android, JS webapp, scriptable command line; chatbots. (Demo, Source Code (⭐12k), Clients (⭐316))
GPL-3.0
Go
Software / Polls and Events
- Gancio - A shared agenda for local communities. (Source Code)
AGPL-3.0
Nodejs
19. Awesome Playcanvas
Browser Games
- Star Stable - Character registration portal for popular horse game.
20. Awesome Software Patreons
People Doing Open Source Work / Hardware related
- Tobias Koppers - Founder and maintainer of Webpack.
21. Awesome Translations
Translations
Platforms / Localization and translation platforms
- Crowdin - Closed source cloud-based localization technology and services company.
- LocaleApp - App for localization and translation.
- Transifex - Proprietary, web-based translation platform, globalization management system (GMS).
- Weblate - Copylefted libre web-based continuous translation platform.
Platforms / Project management
- Zanata - Web-based translation platform for translators, content creators and developers to manage localisation projects.
- Traduora (⭐2k) - A platform to manage translation workflow in teams.
Platforms / Platform-specific tools
- GitLocalize - Powerful localization platform that syncs with your GitHub repository and lets you continuously translate its content.
Apps / Automated translation
- RTranslator (⭐6.1k) - A simultaneous translator app for Android based on NLLB and Whisper that runs locally.
- Crow Translate (⭐1.8k) - A simple and lightweight translator for Linux and Windows that allows to translate and speak text using Google, Yandex and Bing translate API.
- Copy Translator (⭐17k) - An app for Windows, Mac and Linux that automatically translate and adapt a text when copied in the clipboard.
Tools / Automatic translation for end users
- Bergamot - Client-side translation in the browser.
Tools / Libraries and tools for developers
- deep-translator (⭐1.5k) - A flexible free and unlimited (depending on the translator used) library written in Python to translate between different languages in a simple way using multiple translators, it can also be used directly in the prompt.
- Translator (⭐1.6k) - A translator library based on the translation interface of Google, Yandex, Microsoft (Bing), Baidu, Alibaba, Tencent, NetEase (Youdao), Sogou, Deepl, etc.
- I18next - Internationalization-framework written in and for JavaScript.
- react-i18next - Powerful internationalization framework for React / React Native which is based on i18next.
- MDN i18n - Functions to internationalize your browser extension. You can use these APIs to get localized strings from locale files packaged with your extension.
- Vue I18n - Internationalization plugin for Vue.js.
- i18n Ally (⭐3.9k) - Extension for VSCode, all in one about i18n.
Tools / Other tools
- npm i18n - Lightweight simple translation module with dynamic json storage.
- Pootle (⭐1.5k) - An online translation management tool with a translation interface focused on localization of applications' graphical user interfaces. It is used by LibreOffice.
Articles / Introductions to internationalization
- Stack Overflow Q&A-1 - Localization and internationalization, what's the difference?
Articles / For developers
- Angular and i18n - Angular i18n guide.
- Flutter i18n - Internationalizing Flutter apps.
Other / Machine translation
- LocalizationLab - Global community of 7000+ contributors who support the translation and localization of Internet freedom tools.
22. Awesome Ddd
User Groups / Ruby
23. Awesome List
Security
- Lockpicking (⭐1.4k) - The art of unlocking a lock by manipulating its components without the key.
- Cybersecurity Blue Team (⭐4.2k) - Groups of individuals who identify security flaws in information technology systems.
24. Awesome Tensorflow Js
Learn / Tutorials
- Effective TensorFlow.js - TensorFlow.js tutorials and best practices.
25. Awesome Plotters
Plotter Art For Sale / Patents
26. Awesome Veganism
Restaurants
- Berkeley, CA, USA
- The Butcher's Son - Comfort food spilling off of your plate. Grab a main, a couple of sides and a plenty of napkins.
27. Awesome Arch
Arch Linux Installers / Specific purpose
- Archfi (⭐2.4k) - Just a simple bash script wizard to install Arch Linux after you have booted on the official Arch Linux install media.
28. Awesome Scriptable
Cars
FordPassWidget (⭐15) - Information about your Ford, like location or mileage.
tankstellenpreise.js (⭐36) - Fuel prices from a nearby gas station.
TeslaData-Widget (⭐58) - Information about your Tesla, like charging status and doors locked/unlocked.
29. Awesome Piracy
Download Managers / Free Indexers
- Persepolis (⭐5.7k) An open source download manager and GUI for Aria2 written in Python with IDM like browser integration. Cross platfrom.
30. Awesome Ios
Messaging
- ChatLayout (⭐843) - A lightweight framework to build chat UI that uses custom
UICollectionViewLayout
to provide full control over the presentation as well as all the tools available inUICollectionView
.
Official
- Adapty (⭐361) - Integrate in-app subscriptions and a/b testing for them with 3 lines of code.
31. Awesome Ai in Finance
Papers
- Deep Reinforcement Learning for Automated Stock Trading: An Ensemble Strategy, 2020 - Propose an ensemble strategy that employs deep reinforcement schemes to learn a stock trading strategy by maximizing investment return.
Time Series Data
- 🌟 Ensemble-Strategy (⭐1.9k) - Deep Reinforcement Learning for Automated Stock Trading.
- FinRL (⭐9.3k) - A Deep Reinforcement Learning Library for Automated Stock Trading in Quantitative Finance.
32. Awesome Common Lisp Learning
Online Community
- Lisp Discord server - Is a Discord for Lisp. Has a channel dedicated to Common Lisp and will happily answer questions.
33. Awesome Seed Rs
Examples
- Play Seed - Playground with several default examples.
Projects Using Seed
- Play Seed - Website about Play Seed, playground to demo Seed apps.
34. Awesome Json
Frontend components
- ngx-formly (⭐2.7k) - JSON powered / Dynamic forms for Angular
35. Awesome Deep Learning
Table of Contents / Courses
- Intro to Deep Learning with PyTorch - A great introductory course on Deep Learning by Udacity and Facebook AI
- Deep Learning by Kaggle - Kaggle's free course on Deep Learning
Researchers / Tools
- DAGsHub - Community platform for Open Source ML – Manage experiments, data & models and create collaborative ML projects easily.
36. Awesome Keycloak
Commercial Offerings
37. Awesome Jmeter
Automation / DSL
- jmeter-groovy-dsl (⭐12) - The Groovy-JMeter project is simple DSL to write JMeter test plans.
38. Awesome Humane Tech
- Break Timer (⭐594) - An application for taking periodic breaks and preventing RSI, eye-strain and tiredness.
- Firefox Lightbeam - Addon that visualizes Web requests between 1st and 3rd-party sites in real time.
39. Awesome Swift
API
- Swiftkube (⭐121) 🐧 - Swift client for Kubernetes.
40. Awesome Smart Tv
Samsung Tizen / Other
- Identification of Samsung TV models 2008-2017 - How to get screen size, matrix type, year of development, series and other parameters from Samsung TV model name.
41. Awesome Mac
Developer Tools / Databases
- Chrome MySQL Admin (⭐140) - Powerful Chrome app to manage your MySQL.
42. Awesome Recursion Schemes
Articles
- Promorphisms, Pre and Post - Practical examples of pre- and postpromorphisms by Jared Tobin.
43. Awesome Gbdev
Compilers / Experimental/Proof of Concepts
- gbdk-go (⭐20) - A compiler translates Go programs to C code. The output C code is built into GB ROM by GBDK.
44. Awesome Vue
Resources / Tutorials
Components & Libraries / UI Components
- vue-notification-ui (⭐5) - A simple push the notification UI with Vue.js
Components & Libraries / Utilities
- vesselize (⭐24) - ⛵ A JavaScript IoC container that works seamlessly with Vue.js.
- vue-use-local-storage (⭐4) - A composition api to persist and rehydrate reactive data to local storage for vue 3.
45. Awesome Robotic Tooling
Simulation / Version Control
- Unity-Robotics-Hub (⭐1.5k) - Central repository for tools, tutorials, resources, and documentation for robotic simulation in Unity.
Simultaneous Localization and Mapping / Visual
- gradslam (⭐1.1k) - An open source differentiable dense SLAM library for PyTorch.
46. Awesome Job Boards
Gaming
- Work With Indies - A single place find all the cool jobs in indie games
47. Awesome Free Software
Software / Graphics
- Pinta - Gtk# clone of Paint.NET. (MIT (⭐1.5k))
Software / Video
- MPV - Customizable multimedia player with scripting support. (GNU GPLv2 (⭐23k))
48. Awesome Home Assistant
Online Resources / YouTube Channels
- Smart Home Junkie - How-to videos and tutorials for starters and advanced users.
49. Awesome Ros2
Packages / Ecosystem
- LGSVL - Simulation software to accelerate safe autonomous vehicle development.
- Unity Robotics Hub (⭐1.6k) - This is a central repository for tools, tutorials, resources, and documentation for robotic simulation in Unity.
Papers / ROSCon 2015
Organizations / Robotics Capture the Flag (RCTF)
50. Awesome Nodejs
Packages / Data validation
- Superstruct (⭐6.9k) - Simple and composable way to validate data in JavaScript (and TypeScript).
51. Awesome Blazor
Others
- LinqToTwitter Blazor sample (⭐513) - LINQ Provider for the Twitter API (Twitter Library).
2D/3D Rendering engines / Diagrams
- Excubo.Blazor.Diagrams (⭐136) - Interactive diagram component (flowcharts, UML, BPMN, ...), customizable and extensible according to user needs (node types, styles). Demo.
52. Awesome Flutter
Introduction
- Flutter Web - Ins and Outs of Flutter Web by Nash
Advanced
- Gesture System - Flutter Deep Dive: Gestures by Nash
UI
- Timelines (⭐699) - Powerful & Easy to use timeline package by Chulwoo Park.
Desktop / Game Engine resources
- bitsdojo_window (⭐784) - Customize windows owner-drawn chrome by BitsDojo
53. Awesome Clojure
Video tutorials / YouTube
- Clojure Tutorials by Timothy Baldridge: More advanced videos on core.async, transducers, transients, logic programming and a "Function of the day" series.
54. Awesome Android Ui
Jetpack Compose
Name: Landscapist (⭐1.3k)
License: Apache License V2
Demo:
Name: Orchestra (⭐386)
License: Apache License V2
Demo:
Name: compose-backstack (⭐383)
License: Apache License V2
Demo:
Name: ComposeClock (⭐354)
License: Apache License V2
Demo:
Layout
Name: ArcView (⭐54)
License: Apache License V2
Demo:
Name: DraggablePanel2 (⭐103)
License: Apache License V2
Demo:
Name: LDrawer (⭐1.4k)
License: Apache License V2
Demo:
Name: MaterialNavigationDrawer (⭐1.6k)
License: Apache License V2
Demo:
Name: AndroidMaterialDesignToolbar (⭐714)
License: Apache License V2
Demo:
Name: TapTargetView (⭐5.2k)
License: Apache License V2
Demo:
Name: Spotlight (⭐3.4k)
License: Apache License V2
Demo:
Name: MaterialTapTargetPrompt (⭐1.5k)
License: Apache License V2
Demo:
Name: DrawerArrowDrawable (⭐828)
License: Apache License V2
Demo:
Button
Name: transition-button-android (⭐127)
License: MIT
Demo:
Name: KTLoadingButton (⭐24)
License: MIT
Demo:
Name: AwesomeSwitch (⭐29)
License: Apache License V2
Demo:
Name: FloatingActionButton (⭐4k)
License: MIT
Demo:
Name: android-floating-action-button (⭐6.4k)
License: Apache License V2
Demo:
ViewPager
Name: SnapTablayout (⭐690)
License: Apache License V2
Demo:
Name: MaterialTabs (⭐1.4k)
License: Apache License V2
Demo:
Name: PagerSlidingTabStrip (⭐2.2k)
License: Apache License V2
Demo:
Label / Form
Name: MaterialEditText (⭐6.1k)
License: Apache License V2
Demo:
Name: MaterialTextField (⭐1.5k)
License: Apache License V2
Demo:
Image
Name: ChiliPhotoPicker (⭐387)
License: Apache License V2
Demo:
Name: Android Ribbon (⭐643)
License: Apache License V2
Demo:
SeekBar
Name: material-range-bar (⭐1.7k)
License: Apache License V2
Demo:
Name: MaterialDateRangePicker (⭐1.3k)
License: Apache License V2
Demo:
Progress
Name: SqueezeLoader (⭐9)
License: Apache License V2
Demo:
Name: RoundedProgressBar (⭐509)
License: Apache License V2
Demo:
Name: FAB-Loading (⭐689)
License: Apache License V2
Demo:
Name: materialish-progress (⭐2.5k)
License: Apache License V2
Demo:
Menu
Name: material-menu (⭐2.5k)
License: Apache License V2
Demo:
Name: MaterialSheetFab (⭐1.6k)
License: MIT
Demo:
Name: PowerMenu (⭐1k)
License: Apache License V2
Demo:
Dialog
Name: MaterialDialog
License: Apache License V2
Demo:
Name: material-dialogs (⭐19k)
License: Apache License V2
Demo:
Name: AlertDialogPro (⭐469)
License: Apache License V2
Demo:
Calendar
Name: material-calendarview (⭐5.8k)
License: Apache License V2
Demo:
Graph
Name: Android-RatingReviews (⭐165)
License: Apache License V2
Demo:
Animation
Name: RubberPicker (⭐540)
License: MIT
Demo:
Name: material-ripple (⭐2.3k)
License: Apache License V2
Demo:
Name: RippleEffect (⭐5k)
License: MIT
Demo:
Name: CircularReveal (⭐2.5k)
License: Apache License V2
Demo:
Effect
Name: ExpandableLayout (by skydoves) (⭐699)
License: Apache License V2
Demo: ShineButton (⭐4.2k)
: MIT
:
Name: Elastic Views (⭐756)
License: MIT
Demo:
Name: Transformation Layout (⭐1.9k)
License: Apache License V2
Demo:
Other
Name: iiVisu (⭐124)
License: MIT
Demo:
Name: MaterialDesignLibrary (⭐9.1k)
License: Apache License V2
Demo:
Name: MaterialShadows (⭐2.2k)
License: MIT
Demo:
Name: Material (⭐6k)
License: Apache License V2
Demo:
Name: material-design-icons (⭐47k)
License: Apache License V2
Demo:
Name: Material Icon Library (⭐2.3k)
License: Apache License V2
Demo:
Name: Carbon (⭐3k)
License: Apache License V2
Demo: NONE
Name: Lollipop-AppCompat-Widgets-Skeleton (⭐100)
License: Apache License V2
Demo:
Name: Balloon(tooltips) (⭐2.7k)
License: Apache License V2
Demo:
Name: ColorPickerView (⭐1.3k)
License: Apache License V2
Demo:
55. Awesome Remote Job
Tools / Communication
- Gather - Gather is a video-calling space that lets multiple people hold separate conversations in parallel, walking in and out of those conversations just as easily as they would in real life.
56. Awesome Pagespeed Metrics
Concepts / Field Data (Real User Monitoring - RUM)
- Vercel Analytics - Real User Monitoring based on Web Vitals.
57. Awesome Neovim
Tree-sitter Supported Colorscheme / Diagnostics
- ishan9299/modus-theme-vim (⭐160) - This is a color scheme developed by Protesilaos Stavrou for emacs.
58. Awesome Microservices
Python / Scala
- FastAPI - Modern, fast (high-performance), web framework for building APIs with Python 3.6+ based on standard Python type hints.
59. Awesome Engineering Team Management
Project Management / Estimations
- Robert "Uncle Bob" Martin talk about professionalism in software development - The only honest estimate is "I don't know". But you can come up with some kind of propability assessment, that will inform about the shape of the risk. This is not unlike PERT, where an activity is bounded by optimistic, pessimistic and most-likely time. Now if managers don't take a range for an answer, don't fall in that trap. Tell them you're already trying as you possibly can. “And then the manager will have to do something very foreign: they'll have to manage. That's what management is: managing risk.”
60. Awesome Tmux
Themes
- dracula/tmux (⭐628) 🧛🏻♂️ The official dracula theme for tmux
61. Awesome Transit
On-line courses / Ruby
- MBTA GTFS Onboarding - An interactive tutorial created by MBTA for GTFS static. A stand-alone Docker image (⭐7) is available on GitHub as well as a hosted/no-install version of the Jupyter notebook.
62. Awesome R Learning Resources
Topic Areas / Generative Art
- 12 Months of aRt - In 2019, William Chase began a project to make a new series of artwork every month made entirely with R. In this project, he explored different techniques, developed algorithms, and provided detailed posts detailing the development process for each month.
Topic Areas / Joining Data
- Joining Data in R with dplyr - Course notes from the Joining Data in R with dplyr course on DataCamp. Topics include mutating joins, filtering joins and set operations, assembling data, advanced joining. Author: William Surles.
Topic Areas / Spatial
- An Introduction to Choropleth maps in R - Author: Henry Cann.
- Getting latitude & longitude for any address - Author: Brecht Vermeire.
- Map Plots Created With R And Ggmap - Author: Laura Ellis.
- Plot Spatial Data / Shapefiles in R - From the "math et al" YouTube channel.
Blogs / Uncategorized
- Alex Cookson - Alex Cookson loves making beautiful visualizations and easy-to-read walkthroughs of R concepts. He's particularly interested in data about media, like books, movies, and musicals.
Books / Uncategorized
- Efficient R programming - Efficient R Programming is about increasing the amount of work you can do with R in a given amount of time. It’s about both computational and programmer efficiency. Authors: Colin Gillespie, Robin Lovelace.
- R Cookbook, 2nd Edition - This book is full of how-to recipes, each of which solves a specific problem. The recipe includes a quick introduction to the solution followed by a discussion that aims to unpack the solution and give you some insight into how it works. Authors: James (JD) Long and Paul Teetor.
- R Tutorial – Be a Data Science rock star with R - A tour of the R programming language that explores its different and essential concepts. This R DataFlair Tutorial Series is designed to help beginners to get started with R and experienced to brush up their R programming skills and gain perfection in the language.
YouTube / Uncategorized
- RichardOnData - The R playlist includes videos on manipulating data with dplyr, visualizing data with ggplot2 and ggThemeAssist, data types and structures, important base r functions, handling datetimes with lubridate, conquering factors with forcats, manipulating text with stringr.
63. Free for Dev
Cloud management solutions
- scalr.com - Scalr is a Terraform Automation and COllaboration (TACO) product used to better collaboration and automation on infrastructure and configurations managed by Terraform. Full Terraform CLI support, OPA integration, and a hierarchical configuration model. No SSO tax. All features are included. Use up to 50 runs/month for free.
Testing
- knapsackpro.com - Speed up your tests with optimal test suite parallelization on any CI provider. Split Ruby, JavaScript tests on parallel CI nodes to save time. Free plan for up to 10 minutes of test files and free unlimited plan for Open Source projects.
BaaS
- restspace.io - Configure a server with services for auth, data, files, email API, templates, and more, then compose into pipelines and transform data.
IDE and Code Editing
- codesnip.com.br — Simple code snippets manager with categories, search and tags. free and unlimited.
64. Awesome Nlg
Neural Natural Language Generation
- PaperRobot: Incremental Draft Generation of Scientific Ideas (⭐468) - We present a PaperRobot who performs as an automatic research assistant.
- Question Generation using hugstransformers (⭐981) - Question generation is the task of automatically generating questions from a text paragraph.
Papers and Articles
65. Awesome Coq
Projects / Libraries
- Simple IO (⭐29) - Input/output monad with user-definable primitive operations.
Projects / Package and Build Management
- coq_makefile - Build tool distributed with Coq and based on generating a makefile.
Projects / Tools
- hs-to-coq (⭐77) - Converter from Haskell code to equivalent Coq code.
- Roosterize (⭐18) - Tool for suggesting lemma names in Coq projects.
66. Awesome Machine Learning
C / General-Purpose Machine Learning
- libonnx (⭐565) - A lightweight, portable pure C99 onnx inference engine for embedded devices with hardware acceleration support.
67. Awesome Ocaml
Exercises and Short Examples
- Programming Language Examples Alike Cookbook - The OCaml section of the book is a free reference for solving common programming problems using OCaml.
Language-related
- OCaml Style Guide (by Jane Street) - See also: [1], [2], [3].
- Prev: Dec 07 - Dec 13, 2020
- Next: Nov 23 - Nov 29, 2020