Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Get Idris

Setting up an Idris dev environment on Windows
Stars
15
License
No license specified
Open Issues
5
Most Recent Commit
4 years ago
Programming Language
PowerShell
Categories
Repo
Alternatives To Get Idris
Select To Compare
Libzmq ⭐ 9,098
ZeroMQ core engine in C++, implements ZMTP/3.1
dependent packages 16total releases 2most recent commit 4 months ago
Gcc ⭐ 8,386
most recent commit 4 months ago
Benchmark ⭐ 8,144
A microbenchmark support library
total releases 12most recent commit 4 months ago
Jsonnet ⭐ 6,562
Jsonnet - The data templating language
dependent packages 33total releases 63most recent commit 5 months agopypi jsonnet} Downloads
Libwebsockets ⭐ 4,461
canonical libwebsockets.org networking library
dependent packages 4total releases 25most recent commit 4 months ago
Libuv ⭐ 3,314
Go to
most recent commit 9 years ago
Libffi ⭐ 2,966
A portable foreign-function interface library.
dependent packages 35total releases 4most recent commit 4 months ago


Suggest An Alternative To get-idris
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Script
Powershell
Gcc
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.