#

nickel

Here are 18 public repositories matching this topic...

tweag / nickel

Open

Bad type error reporting mixing type vars and type id with the same name

1

francois-caddet commented Jun 1, 2022

Describe the bug

Sometimes the typechecker can throw something like:

  = The type of the expression was expected to be `a`
  = The type of the expression was inferred to be `a`
  = These types are not compatible

it can actualy append when one is a type variable and the other one is a type identifier.

To Reproduce

let f : forall a. {_: a} -> {_: a} -> {_: a}

Read more

good first issue type: bug area: cli

Open

[Dogfooding] Improve error messages for some record contract violations

1

NiLuJe / kfmon

Kute File Monitor, an inotify-based Launcher for Kobo devices

launcher inotify nickel kobo koreader fbink

Updated Jul 8, 2022
C

Yardanico / nickel

Бот для ВКонтакте, написанный на языке программирования @nim-lang

bot nim social-network vk callback-api nickel vkapi vkbot nimlang

Updated May 23, 2020
Nim

Tosha1409 / Codilitychallenges

100% score solutions for Codility challenges.

Updated Mar 16, 2021
Python

ptariche / rust_api_example

Playing with Rust, Nickel, Postgres, and more: Example API

api rust postgres starter nickel diesel

Updated Dec 29, 2016
Rust

flosse / nickel-sqlite

A SQLite middleware for nickel.rs

rust web sqlite nickel unmaintained maintainer-wanted

Updated Oct 8, 2018
Rust

tatsuya6502 / hello-heroku-rust-nickel

This is a temporary project to test Heroku deploy for nickel.rs based web-server written in Rust

heroku rust http-server demo-apps nickel

Updated Jun 3, 2016
HTML

Harzu / rust-playground

web playground for rust lang

react rust nickel

Updated Jan 6, 2019
JavaScript

madvid / PhD_influence_HCN_V_defect_solubility_diffusion_O_in_Ni

Part of my work realized during the years as a PhD student. I was in the team MEMO of the CIRIMAT lab in Toulouse. I study via a multi-scale approach the influence influence of H, C, N impurities and point defects on the solubility and diffusion of the oxygen in the nickel (fcc phase). My works was under the supervision of Damien Connétable and Daniel Monceau.

clustering density-functional-theory density-of-states thermodynamics solubility phonon defects nickel interstitials phd-thesis ab-initio diffusion low-thermal-expansion

Updated Dec 30, 2021

duriantang / nickel_cors

CORS Middleware for nickel.rs

rust http cors middleware webserver nickel

Updated May 16, 2019
Rust

TheAdnan / Nickel-test

Open

Create a simple API with CRUD

2

TheAdnan opened Oct 2, 2018

good first issue Hacktoberfest

duriantang / ors_invitation

Origin Sport Invitation Service for User Register

rust nickel ors duriantang

Updated Jun 2, 2019
Rust

marcker / rust-api-hello-world

Hello World with Rust and Nickel.

rust cargo hello-world nickel nickel-framework

Updated May 10, 2018
Rust

marvin-j97 / corinth

📬 Portable message queue written in Rust

queue message ava nickel producer-consumer

Updated Jun 18, 2022
Rust

autokrator-uog / jackie

Jackie is the reporting service that allows querying of Couchbase to extract information about past events.

rust couchbase nickel

Updated Mar 5, 2018
Rust

raissamendonca / thompson

[project] Metal oxides influence Ni bioavailability in surface sediments

nickel invertebrates metals sediment-geochemistry bioavailability

Updated Jun 21, 2018
HTML

milahu / tree-sitter-nickel

nickel grammar for tree-sitter. deprecated in favor of https://github.com/nickel-lang/tree-sitter-nickel

tree-sitter nix nixos grammar nickel tree-sitter-parser

Updated Apr 12, 2022
C++

kubukoz / vscode-nickel-syntax

vscode-extension nickel

Updated Apr 22, 2022
Nix

Improve this page

Add a description, image, and links to the nickel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nickel topic, visit your repo's landing page and select "manage topics."