Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Prelude Open Source Projects

Open source projects categorized as Prelude
Categories > Prelude
Faster_rubygems ⭐ 15
A helper to dramatically speedup the time it takes to run a 'require rubygems'. DEPRECATED shouldn't be necessary with newer versions of rubygems, at least I hope not. If it is message me so I can work on this again
most recent commit 14 years ago
Emacs Config ⭐ 15
Abelardo Jara-Berrocal's Emacs configuration files
most recent commit 5 months ago
Safe Prelude ⭐ 15
A Haskell prelude optimized for safety
most recent commit 7 years ago
Prelude.mk ⭐ 15
A partial port of Haskell's prelude.hs to GNU Make
most recent commit 10 years ago
Prelude ⭐ 14
Boilerplate Rails app for rapid prototyping; Bootstrap, Backbone.js, Devise, S3, and more
most recent commit 11 years ago
Cs1113f16 ⭐ 14
CS1 through Type Theory
most recent commit 7 years ago
Haskell_for_cats ⭐ 13
For Haskell Explication and Perpetuation
most recent commit 10 years ago
Emacs_python ⭐ 13
A short talk for the DC Python meetup group on October 7, 2014.
most recent commit 9 years ago
Cis 194 Spring 2017 ⭐ 13
A modified version of the University of Pennsylvania's CIS194
most recent commit 6 years ago
Category Theory Seminar Notes Cnu 2018 ⭐ 12
首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.
most recent commit 5 years ago
Element ⭐ 12
Element is an embeddable minimal functional programming language intended as a data format.
most recent commit 2 years ago
R Tree ⭐ 12
Haskell implementatio of R-Trees
total releases 6most recent commit 2 years ago
Generator React Page ⭐ 12
yeoman generator for react-page
dependent packages 4total releases 6most recent commit 10 years agonpm generator-react-page} Downloads
Poetic_edda ⭐ 11
Poetic Edda in Old Norse with English translation by H. A. Bellows
most recent commit 9 years ago
Vraptor Starting Project ⭐ 11
A project pre-configured to help you save time!
most recent commit 12 years ago
Nicodemus ⭐ 11
A cross-platform Nim implant for Prelude Operator
most recent commit 3 years ago
Humdrum Data ⭐ 11
Humdrum corpora without tools
most recent commit 5 years ago
Zuko ⭐ 11
Basic Lisp-like programming language
most recent commit 3 years ago
Trustee ⭐ 11
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
most recent commit 3 months ago
Cddl Cat ⭐ 11
A Rust library for validating CBOR or JSON data against a CDDL schema specification
total releases 12most recent commit 7 months ago
Phage ⭐ 11
The Phage Programming Language
most recent commit 3 years ago
Principia.ts ⭐ 11
TypeScript functional programming (mirror)
dependent packages 16total releases 132most recent commit 2 years agonpm @principia/base} Downloads
Libprelude ⭐ 10
The official LibPrelude GitHub mirror of https://www.prelude-siem.org/projects/libprelude/r
most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.