learnhaskell
cosmopolitan
learnhaskell | cosmopolitan | |
---|---|---|
7 | 201 | |
7,903 | 15,241 | |
- | - | |
0.9 | 9.8 | |
7 months ago | 1 day ago | |
Makefile | C | |
Creative Commons Zero v1.0 Universal | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
learnhaskell
-
Počeo da učim Haskell
learnhaskell
-
Ask HN: What piece of code/codebase blew your mind when you saw it?
https://github.com/bitemyapp/learnhaskell/blob/master/dialog...
> a transducer is recognizing that the signature of foldl splits
> type Transducer a b = forall r. (r -> b -> r) -> (r -> a -> r)
> they compose like lenses
-
Functional Education (2014)
The author maintains an opinionated path to learning Haskell[0], albeit lacking the criticism of resources that ultimately do not make it into his final recommendation.
[0] https://github.com/bitemyapp/learnhaskell
-
Understanding Transducers
I find the following type signature captures the essence:
type Transducer x y = forall b. (b -> y -> b) -> (b -> x -> b)
https://github.com/bitemyapp/learnhaskell/blob/master/dialog...
-
Learn You A Haskell For Great Good - To-Do Lists clean up unsafe?
There's some resources here: https://github.com/bitemyapp/learnhaskell
-
Sequent Calculus in Haskell
Other than that, I'm afraid your issues are too broad to help much. If you're having trouble getting anywhere, I would recommend starting with some basic tutorial. Here are some decent ones. Haskell is not a language you can just pick up unless you have prior functional programming experience.
-
Best resource to learn Haskell?
This is the best meta-guide I know of to learning Haskell: https://github.com/bitemyapp/learnhaskell
cosmopolitan
-
Python Is Portable
The reality is a bit different, the work on Python 3.6 was checked into the Cosmopolitan repo and I have been able to use it for production workloads that are in pure python. [0]
As Cosmopolitan Libc has evolved, it has been possible to compile more software without modifications, and that includes latest Python through a project called superconfigure[1].
Last person who tried to reproduce it from scratch did it last week (granted it too them a few days of solid work) but in the end they ended with a portable binary with Python 3.11.9, brotli, ssl and asyncio for their work related project.[2]
[0] https://github.com/jart/cosmopolitan/tree/master/third_party...
-
Ask HN: What Underrated Open Source Project Deserves More Recognition?
Cosmopolitan https://github.com/jart/cosmopolitan and https://justine.lol/cosmopolitan/index.html
Some genius realized that you can actually embed valid win32 programs inside valid posix shell scripts, and found a way to make a C cross-platform solution out of it, meaning that you can write C programs that compile to a single executable that will run on (quoting the site) Linux + Mac + Windows + FreeBSD + OpenBSD + NetBSD + BIOS
It all started from this post.
- Cosmopolitan – build-once run-anywhere C library
-
Show HN: Usr/bin/env Docker run
For this .args file, put one argument per line. This will run on start. You can use `/zip/mydepencency.anything` to read from files, but if you have an executable dependency you'll need to extract it first.
You can do this with any software you can compile with comsocc, by adding a call to LoadZipArgs[1] in the main function.
It'seasy to get started, your ideas will branch out as soon as you start playing with it.
[1]: https://github.com/jart/cosmopolitan/blob/master/tool/args/a...
-
Libwebsockets
FWIW there is ongoing work with good progress to add websocket support to redbean (https://github.com/jart/cosmopolitan/pull/967)
- Release Cosmopolitan v3.2
- Cosmopolitan v3.2
-
Ask HN: ANSI escape sequences reference docs?
Check out this comment by jart (cosmpolitan author) here: https://github.com/jart/cosmopolitan/issues/766#issuecomment...
it might help but not sure how comprehensive it is! would it be a bad idea for you to check out the source code of other popular emulators (maybe iTerm 2^0) ?
0: https://github.com/search?q=repo%3Agnachman%2FiTerm2%20ansi&...
-
Actually Portable Vim (With a Cute Vimrc)
The binary was compiled with Cosmopolitan Libc [0], and therefore the binary will execute natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD, and bare metal (BIOS boot).
I would call that portable.
[0] https://github.com/jart/cosmopolitan
-
Show HN: PyApp – runtime installer for Python applications
will go on my "to try" list where i already have cosmopolitan [2]. my last setup (windows) was shiv + wine + nsis (used that as pyinstaller had some issues)[2]
[1] https://github.com/jart/cosmopolitan/issues/141#issuecomment...
What are some alternatives?
protoactor-dotnet - Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
libc - libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringup.
Apollo-11 - Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
src - Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
Quake-2 - Quake 2 GPL Source Release
SDL - Simple Directmedia Layer
pygments - Pygments is a generic syntax highlighter written in Python
llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
haskell-handbook - Best practices on how to be efficient with Haskell in production
luastatic - Build a standalone executable from a Lua program.
learn-you-a-haskell - “Learn You a Haskell for Great Good!” by Miran Lipovača
v - Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io