Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for prelude
prelude
x
181 search results found
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
Emacs Config
⭐
15
Abelardo Jara-Berrocal's Emacs configuration files
Safe Prelude
⭐
15
A Haskell prelude optimized for safety
Prelude.mk
⭐
15
A partial port of Haskell's prelude.hs to GNU Make
Prelude
⭐
14
Boilerplate Rails app for rapid prototyping; Bootstrap, Backbone.js, Devise, S3, and more
Cs1113f16
⭐
14
CS1 through Type Theory
Haskell_for_cats
⭐
13
For Haskell Explication and Perpetuation
Emacs_python
⭐
13
A short talk for the DC Python meetup group on October 7, 2014.
Cis 194 Spring 2017
⭐
13
A modified version of the University of Pennsylvania's CIS194
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.
Element
⭐
12
Element is an embeddable minimal functional programming language intended as a data format.
R Tree
⭐
12
Haskell implementatio of R-Trees
Generator React Page
⭐
12
yeoman generator for react-page
Poetic_edda
⭐
11
Poetic Edda in Old Norse with English translation by H. A. Bellows
Vraptor Starting Project
⭐
11
A project pre-configured to help you save time!
Nicodemus
⭐
11
A cross-platform Nim implant for Prelude Operator
Humdrum Data
⭐
11
Humdrum corpora without tools
Zuko
⭐
11
Basic Lisp-like programming language
Trustee
⭐
11
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Cddl Cat
⭐
11
A Rust library for validating CBOR or JSON data against a CDDL schema specification
Phage
⭐
11
The Phage Programming Language
Principia.ts
⭐
11
TypeScript functional programming (mirror)
Libprelude
⭐
10
The official LibPrelude GitHub mirror of https://www.prelude-siem.org/projects/libprelude/r
100 Lengths In Haskell
⭐
10
A list of 100 ways to implement Haskell's Prelude length function, of course in Haskell
Erlang_prelude
⭐
10
A collection of Erlang modules solving often-encountered problems
Mappy
⭐
10
A functional programming language. Like LISP but focused around maps rather than lists.
Offline Dev
⭐
10
clojure offline development here!
Print
⭐
10
Simple printing with Text
Intro
⭐
9
Safe and minimal Haskell Prelude
Emacs Prelude
⭐
9
My emacs config using bbatsov/prelude. This is a complete redo, using org-babel to keep the code tidy.
Hs2lazy
⭐
9
Haskell -> Lazy K translator.
Edutoken
⭐
9
EDU token contract that powers the OS.University Network
Tiny Dependent Types
⭐
9
A very simple implementation of a little dependently typed language
Nephrite
⭐
9
Converts JadeCo/JadeLS/JadeCoffee to HTML with interpolations
Swift Lens Example
⭐
9
Swift Lens example
Shipyard Scenegraph
⭐
9
Dotfiles
⭐
9
My personal dotfiles.
Haskell Scripting
⭐
9
Scripting in Haskell
Dino
⭐
8
A convenient tagless EDSL
Elixir Prelude
⭐
8
The ruby2elixir/elixir_prelude repo is now the main repo
Browse Kill Ring
⭐
8
For when 'C-y M-y M-y M-y' gets you down
Overture
⭐
8
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
Ishelly
⭐
8
A tool to generate macOS initial access vectors using Prelude Operator payloads
Haskellforcats
⭐
8
For Haskell Explication and Perpetuation
Modular Prelude
⭐
8
A new prelude with first-class modules
Lambda M
⭐
8
A lazy and untyped experimental programming language
Pyhaskell
⭐
7
Rewriting Haskell modules and libraries in Python
Dotfiles
⭐
7
Configuration files
Prewikka
⭐
7
The official Prewikka GitHub mirror of https://www.prelude-siem.org/projects/prewikka/rep
Koneko
⭐
7
koneko - a concatenative not-quite-lisp for kittens
Purescript Psci Support
⭐
7
Support module for the PSCI interactive mode
Install Packages Pack
⭐
7
emacs-live pack to help in installing emacs packages
Css
⭐
7
Adventures in Writing CSS
Seq
⭐
7
Awesome list handling using first class functions in Java. A port of prelude-ls.
Prelude Manager
⭐
6
The official Prelude-Manager GitHub mirror of https://www.prelude-siem.org/projects/prelude-mana
Purescript Foreign Callbacks
⭐
6
Helper functions that make writing callbacks for JS libraries in purescript easier.
Gtkmarkdowntextview.jl
⭐
6
A simple GtkTextView to display markdown text
Prelude Siem
⭐
6
The official Prelude SIEM GitHub of https://www.prelude-siem.org
Std_prelude
⭐
6
prelude that the rust stdlib should have always had
Coq Prelude
⭐
6
General-purpose monad typeclass hierarchy for Coq
.emacs.d
⭐
6
Personal emacs configuration
Once Upon A Time
⭐
6
[use github.com/folktale, see note] An algebraic prelude for LiveScript (and JavaScript). Compatible with fantasy-land.
Libconsensus Dag
⭐
6
Novel DAG consensus
Luautils
⭐
6
Helpers for Haskell integration with Lua
Python Prelude
⭐
6
Prelude library for Python
Waf
⭐
6
The meta build system
Prelude
⭐
6
Utility set for Javascript
Functional Programming Concepts In Purescript
⭐
5
Functions
⭐
5
a functional programming prelude for ruby
Prelude Correlator
⭐
5
The official Prelude-Correlator GitHub mirror of https://www.prelude-siem.org/projects/prelude-corr
Pfpl Langkit
⭐
5
Web playground for Gödel's System T - http://larks.petebevin.com/primrec/
Dotfiles
⭐
5
my [.] dotfiles
Emacs Config
⭐
5
My emacs configuration.
Vsc_ngs_workshop
⭐
5
This is the repository of the Genomics Core High Performance Computing for Genomics workshop.
Ocaml Prelude
⭐
5
Includes the functions you need, that INRIA didn't.
Rmalt
⭐
5
The rust implementation of malt programming language
.emacs.d
⭐
5
My personal .emacs.d (first based on emacs starter kit, then prelude, now spacemacs)
Data_carpentry_extras
⭐
5
Extra materials for data carpentry courses
Ctr Std
⭐
5
The Rust Standard library (or a subset thereof) for the Nintendo 3DS
Pod Pseudopod Latex
⭐
5
A Perl module to transliterate Pod::PseudoPod to LaTeX files
Prelude.js
⭐
5
Simple assets preloader
Related Searches
Haskell Prelude (106)
Emacs Prelude (87)
Emacs Lisp Prelude (83)
101-181 of 181 search results
< Previous
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.