A collection of awesome Haskell videos. Inspired by awesome projects line.
- awesome
- haskell
- videos
- awesome-list
Repository Index
78,850 visible repositories in the index
481–504 of 508 · Most stars
A showcase of awesome programming language projects and resources written in Elm.
This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.
- anaconda
- jupyter-notebook
- python
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Ruby Mixture with other Programming Languages
- ruby
- rubyml
- rubynlp
- rubydatascience
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Examples of scripts for accounts, dApps and assets using RIDE programming language.
- ride
- smart-contracts
- dapp-example
- dapp
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Learning to program in Lua using "Torch" and other useful libraries
An example of an eBPF program hooking into the kill tracepoint
The swift-hack-pack is a collection of Swift Playground files that teach Apple's new Swift programming language. It's based on Swift 2.2 and Xcode 7.3.1.
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Example build system for making mixed C/Ocaml binaries where the main program is in C
Useful Erlang Functions Library
- erlang
- binaries
- lists
- html-entities
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate
A simple playground to demonstrate Swift Protocol Oriented Programming
In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.
- swift
- swift3
- playgroundbook
- geometry
A code kata on the Goose Game
- codekata
- programmingkata
- kata
- deliberate-practice
Bioinformatics-themed kata for practicing string manipulation in a data transformation pipeline. Contains replit files to work quickly in an online dojo setting.
- kata
- challenge
- python
- bioinformatics
Teaches students Robot programming in python by having them create code that passes the unit tests
- robotpy
- python
- frc-robot
Microsoft Q# SDK Demo showing quantum weirdness
- qsharp
- quantum-computing
- quantum-programming-language
- quantum-algorithms
The Password-strength Checker TDD Kata
- programming-kata
- kata
- tdd
- tdd-kata
A simple example program for creating password archives in ZIP format, running in a browser using WebAssembly.
Playground with Functional Programming design patterns and some functional techniques